Proof: It is known that 0⩽3b−a<2h. By the lemma, we have x3b−a+y3−a+z3b−a⩽x2b+y2b+z2b.
By the Cauchy-Schwarz inequality, we have
(xa+yb+zb)(x2b−a+yb+zb)⩾(xb+yb+zb)2. Then xa+yb+zbxb=(xa+yb+zb)(x2b−a+yb+zb)xb(x2b−a+yb+zb)⩽(xb+yb+zb)2x3b−a+xbyb+xbzb.
Similarly, ya+zb+xbyb⩽(xb+yb+zb)2y3−a+ybzb+ybxb,
za+xb+ybzb⩽(xb+yb+zb)2z3b−a+zbxb+zbyb
Therefore, xa+yb+zbxb+ya+zb+xbyb+za+xb+ybzb ⩽(xb+yb+zb)2(x3b−a+y3−a+z3b−a)+2(xbyb+ybzb+zbxb)
=(x2b+y2b+z3b)+2(xbyb+ybzb+zbxb)(x3b−a+y3−a+z3b−a)+2(xbyb+ybzb+zbxb)
⩽1