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.\]
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.\]