<s>[INST] Half-symmetric, homogeneous inequality Let $x,y,z$ be three positive numbers.  Can anybode prove the follwing inequality :
$(x^2y^2+z^4)^3 \leq (x^3+y^3+z^3)^4$ (or find a counterexample, or find a reference ...)
 [/INST] We need to show $(x^2y^2 + z^4)^3 \le (x^3+y^3+z^3)^4.$  
By AM-GM, we have $(x^3+y^3+z^3)^4 \ge \left(2(xy)^{\frac{3}{2}} + z^3\right)^4$
Let $a = \sqrt{xy} > 0$.  Then it is sufficient to show that
$(2a^3 + z^3)^4 \ge (a^4 + z^4)^3$
Let $t = \frac{a}{z} > 0$, then we need to show
$f(t) = (2t^3 + 1)^4 - (t^4 + 1)^3 \ge 0$ for $t > 0$.
or $f(t) = t^3 (15 t^9+32 t^6-3 t^5+24 t^3-3t+8) > 0$
Now, note that for $t \ge 1$,
$3t^6 - 3t^5 = 3t^5(t-1)$  and $3t^3 - 3t = 3t(t^2 - 1)$
so $f(t) = t^3 [15t^9 + 29t^6 + 3t^5(t-1) + 21t^3 + 3t(t^2-1) + 8] > 0$. 
Similarly, when $0 < t < 1$,
$- 3t^5 + 3t^3 = 3t^3(1 - t^2)$  and $-3t + 3 = 3(1-t)$
so $f(t) = t^3 [15t^9 + 32t^6 + 3t^3(1-t^2) + 21t^3 + 3(1-t) + 5] > 0.$  
Thus $f(t) > 0$ when $t > 0$, and hence the inequality holds.
</s>