Množenjem nejednakosti s (x+1)(y+1)(z+1) dobivamo ekvivalentnu nejednakost
(x2−1)(z+1)+(y2−1)(x+1)+(z2−1)(y+1)≥0,
ili, nakon sređivanja,
(x2z+y2x+z2y)+(x2+y2+z2)≥x+y+z+3.
Primjenom A-G nejednakosti dobivamo
x2z+y2x+z2y≥33x3y3z3=3.
Iz
(x+y+z)2=x2+y2+z2+2xy+2yz+2zx≤x2+y2+z2+x2+y2+y2+z2+z2+x2=3(x2+y2+z2)
dobivamo
x2+y2+z2≥3(x+y+z)2=(x+y+z)3x+y+z≥(x+y+z)3xyz=x+y+z.
Time je dokazana i polazna nejednakost.