با ساده کردن طرف چپ و ضرب و تقسیم آن در abc به این میرسیم که:
a+b+c+ab+bc+ca+a^2.b+b^2.c+c^2.a<=3
a=x/y b=y/z c=z/x
حالا مخرج مشترک میگیریم و طرفین وسطین میکنیم:
x^2.z+z^2.x+x^2.y+y^2.x+z^2y+y^2.z<=3xyz
که این هم حالت خاصی از نابرابری شور (schur) است
