Salut,
A mon avis, vu la définition même des logarithmes, pour démontrer un truc du style :
Si
\! +\! \log_3 (4)\! +\! \log_4 (5)\! +\! \log_5 (6))
alors

Ca me semble pas con de montrer en fait que

pour un

bien choisi.
Si on prend par exemple

alors on a :
}\! \times\! 2^{\log_3 (4)}\! \times\! 2^{\log_4 (5)}\! \times\! 2^{\log_5 (6)}<br />=3\! \times\! 2^{\log_3 (4)}\! \times\!\sqrt{5}\! \times\! 2^{\log_5 (6)})
Et pour minorer les deux autres, il suffit d'écrire des trucs du style

donc
(et si ça suffit pas comme minoration, on raffine en écrivant par exemple que

donc
}\!>\!4^{\frac{3}{5}})
)
En procédant de la sorte, on y arrive forcément (vu qu'on a des minoration aussi précises qu'on veut) mais j'ai la flemme de regarder quelle est la valeur la plus simple pour

qui donne des minorations "sympathiques".
Evidement, il y a éventuellement des solutions plus rapides....