ta có : \(x^2+y^2+z^2+x^2y^2z^2-4xyz+y^2z^2-2yz+1\ge0\)
\(\Leftrightarrow\left(y^2-2yz+z^2\right)+\left(x^2-2xyz+y^2z^2\right)+\left(x^2y^2z^2-2xyz+1\right)\ge0\)
\(\Leftrightarrow\left(y-z\right)^2+\left(x-yz\right)^2+\left(xyz-1\right)^2\ge0\) (đúng \(\forall x;y;z\))
\(\Rightarrow\) (đpcm)