Sadece sunu ispatlarsak ornek olarak cozum biter: $x^{13}+y^{13} \geq x^7y^6+x^6y^7$. Bu turevden ispatlanabilir. Ama o kadar ugrasa gerek yok, bir sinav kagidi doldurulmayacaksa.
$x$'in buyuk oldugunu varsayarsak (esitlikte zaten direk esitsizlik esitleniyor) $(Buyuk*kucuk+Kucuk*buyuk) < (Buyuk*buyuk+Kucuk*kucuk)$ olarak dusunursek, zaten dogru.
Sag tarafta 8 terim var, bunlari ikiserli ust mantikta ayirirsak, 4 katsayisi da ordan gelir.