(x^2 y + y^2 z + z^2 x + x^2 z + y^2 x + z^2 y) - 6xyz 
= x (y - z)^2 + z (x - y)^2 + y (z - x)^2 \geq 0