Vrijedi
a5(bc−1)+b5(ca−1)+c5(ab−1)=abc(a4+b4+c4)−(a5+b5+c5),
a zbog uvjeta abc=a+b+c dalje imamo
abc(a4+b4+c4)−(a5+b5+c5)=(a+b+c)(a4+b4+c4)−a5−b5−c5=ab4+ac4+bc4+ba4+ca4+cb4.
Primjenom A–G nejednakosti dobivamo
ab4+ac4+bc4+ba4+ca4+cb4≥66ab4⋅ac4⋅bc4⋅ba4⋅ca4⋅cb4=66a10b10c10.
Sada treba iskoristiti dani uvjet. Primjenom A–G nejednakosti na brojeve a, b, c dobivamo
a+b+c≥33abc.
Pa zbog uvjeta slijedi abc≥33abc, odnosno abc≥33. Dakle vrijedi
66a10b10c10=6(abc)10/6≥6(33)5/3=6⋅93=543.
Time smo dokazali traženu nejednakost.