Bất đẳng thức cần chứng minh tương đương:
\(y+2\ge\left(2-x\right)\left(2-z\right)\left(2-y\right)\).
Theo bất đẳng thức AM - GM: \(\left(2-x\right)\left(2-z\right)\le\dfrac{\left(4-x-z\right)^2}{4}=\dfrac{\left(2-y\right)^2}{4}\).
Do đó ta chỉ cần chứng minh:
\(y+2\ge\dfrac{\left(2-y\right)^3}{4}\).
Mặt khác, bđt trên tương đương: \(\dfrac{y\left[\left(y-3\right)^2+7\right]}{4}\ge0\) (luôn đúng).
Do đó bđt ban đầu cũng đúng.
Đẳng thức xảy ra khi y = 0; x = z = 1.