Problem

Source: IberoAmerican 1989 Q2

Tags: inequalities, trigonometry, inequalities proposed



Let $x,y,z$ be real numbers such that $0\le x,y,z\le\frac{\pi}{2}$. Prove the inequality \[\frac{\pi}{2}+2\sin x\cos y+2\sin y\cos z\ge\sin 2x+\sin 2y+\sin 2z.\]