MathNet 1989 — Part 01 Question 24

Given positive real numbers $x$, $y$, $z$ each less than $\pi / 2$, show that $\pi / 2 + 2 \sin x \cos y + 2 \sin y \cos z \gt \sin 2x + \sin 2y + \sin 2z$.