MathNet 2017-part-04 — 176 problems (EN–VI) Question 2

Prove that $8 \cdot \cos^{2} x \cdot (1-\operatorname{ctg} x) \lt 1$, $\forall x \in \left[\frac{\pi}{4}, \frac{\pi}{2}\right]$.