Áp dụng bất đẳng thức quen thuộc \(4xy\le\left(x+y\right)^2\), cho ta
\(4\left(1-x\right)\left(1-y\right)\left(1-z\right)=4\left(1-x\right)\left(1-z\right)\cdot\left(1-y\right)\)
\(\le\left(1-x+1-z\right)^2\cdot\left(1-y\right)=\left(1+y\right)^2\left(1-y\right)=\left(1+y\right)\left(1-y^2\right)\)
\(\le1+y=x+2y+z.\)