OIM 1989 Problem 2

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.$$