Solution:
The given expression is symmetric, so without loss of generality we may assume that x⩾y⩾z. Then
xk+1+yk+zk⩽yk+1+zk+xk⩽zk+1+xk+yk
Indeed, it suffices to prove the first inequality, i.e. that xk+1+yk⩽yk+1+xk. This inequality is equivalent to (xy)k⩽1−y1−x. Since y⩽x, it suffices to prove that xy⩽1−y1−x, which is equivalent to the true inequality 0⩽x−x2−y+y2=(x−y)(1−x−y)=(x−y)z.
By applying Chebyshev's inequality to the triples (xk+2,yk+2,zk+2) and (xk+1+yk+zk1,yk+1+zk+xk1,zk+1+xk+yk1) we obtain
cyc∑xk+1+yk+zkxk+2⩾31cyc∑xk+2cyc∑xk+1+yk+zk1=L
If in L we apply Chebyshev's inequality once more to the triples (x,y,z) and (xk+1,yk+1,zk+1) we obtain
L⩾31⋅31cyc∑xcyc∑xk+1cyc∑xk+1+yk+zk1=L′
From the Cauchy-Schwarz-Bunyakovsky inequality it follows that
cyc∑xk+1+yk+zk1cyc∑(xk+1+yk+zk)⩾9
so
L′⩾xk+1+yk+1+zk+1+2(xk+yk+zk)xk+1+yk+1+zk+1
and hence it suffices to prove that
3(xk+1+yk+1+zk+1)⩾xk+yk+zk
The last inequality is obtained by applying Chebyshev's inequality once more to the triples (x,y,z) and (xk,yk,zk).
Equality in all the inequalities applied holds if and only if x=y=z, i.e. if and only if x=y=z=31.