IMO 1967 - Danh sách đề xuất (Longlist) Câu hỏi 3

(BUL 3) Chứng minh bất đẳng thức lượng giác $\cos x\lt 1-\frac{x^2}2+\frac{x^4}{16}$, với $x\in(0,\pi/2)$.