MetaMath '22

Dokažite da za proizvoljne realne brojeve $x$, $y$, $z$ vrijedi: \begin{equation*} x^4 + y^4 + z^2 + 1 \geq 2x(xy^2 - x + z + 1)\text. \end{equation*}