Obviously, equation (1)
⇔x5+y2+z2x5+y5+z2+x2y5+z5+x2+y2z5⩾x5+y2+z2x2+y5+z2+x2y2+z5+x2+y2z2
Lemma: For positive real numbers x,y,z satisfying xyz⩾1, and real numbers a,b satisfying a>b⩾0, prove:
xa+ya+za⩾xb+yb+zb.
Proof of the lemma: Without loss of generality, assume x⩾y⩾z, then
xb⩾yb⩾zb,xa−b⩾ya−b⩾za−b.
By the rearrangement inequality, we have
x b y a-b + y b z a-b + z b x a-b x a + y a + z a , x b z a-b + y b x a-b + z b y a-b x a + y a + z a . Thus, (x b + y b + z b ) (x a-b + y a-b + z a-b ) = (x a + y a + z b ) + (x b y a-b + y b z a-b + . z b x a-b ) + (x b z a-b + y b x a-b + z b y a-b ) 3 (x a + y a + z a ). Also, (x b + y b + z b ) (x a-b + y a-b + z a-b ) (x b + y b + z b ) 3 [3] x a-b y a-b z a-b 3 (x b + y b + z b ), x a + y a + z a x b + y b + z b .