[TEX](abc)^{\frac{a+b+c}{3} \leq a^ab^bc^c[/TEX] \Leftrightarrow [TEX]\frac{a+b+c}{3}(lna+lnb+lnc) \leq alna+blnb+clnc[/TEX]
ko giảm tổng quát giả sử a\geqb\geqc \Rightarrow lna\geqlnb\geqlnc.Áp dụng BĐT Trêbưsép cho 2 dãy số cùng giảm là (a,b,c) và (lna,lnb,lnc) ta có:
[TEX](a+b+c)(lna+lnb+lnc) \leq 3(alna+blnb+clnc)[/TEX]