Problem

Source: IMO LongList 1967, Bulgaria 3

Tags: trigonometry, calculus, Taylor series, Inequality, Trigonometric inequality, IMO Shortlist, IMO Longlist



Prove the trigonometric inequality $\cos x < 1 - \frac{x^2}{2} + \frac{x^4}{16},$ when $x \in \left(0, \frac{\pi}{2} \right).$