MathNet 2009-part-03 — 175 problems (EN–VI) Question 157

Prove that $x \cos x \le \frac{\pi^2}{16}$ for every $0 \le x \le \frac{\pi}{2}$.