Let x,y,zx, y, zx,y,z be real numbers satisfying x2+y2+z2+9=4(x+y+z)x^2 + y^2 + z^2 + 9 = 4(x + y + z)x2+y2+z2+9=4(x+y+z). Prove that x4+y4+z4+16(x2+y2+z2)⩾8(x3+y3+z3)+27x^4 + y^4 + z^4 + 16(x^2 + y^2 + z^2) \geqslant 8(x^3 + y^3 + z^3) + 27x4+y4+z4+16(x2+y2+z2)⩾8(x3+y3+z3)+27 and determine when equality holds.