MathNet 2009-part-03 — 175 bài (EN–VI) Câu hỏi 157

Chứng minh rằng $x \cos x \le \frac{\pi^2}{16}$ với mọi $0 \le x \le \frac{\pi}{2}$.