MathNet 2017-part-04 — 176 bài (EN–VI) Câu hỏi 2

Chứng minh rằng $8 \cdot \cos^{2} x \cdot (1-\operatorname{ctg} x) \lt 1$, $\forall x \in \left[\frac{\pi}{4}, \frac{\pi}{2}\right]$.