Problem

Source: RMO (Mumbai Region) 2015 P7

Tags: inequalities, inequalities proposed, trig identities, trigonometric substitution



Let $x,y,z$ be real numbers such that $x^2+y^2+z^2-2xyz=1$. Prove that \[ (1+x)(1+y)(1+z)\le 4+4xyz. \]