Xét hàm $f(x) = \cos x + \dfrac{x^2}{2} - 1 , \ \forall x \in R$
$f'(x) = x - \sin x \ge 0 \ \forall x \in R$, thật vậy
$f''(x) = 1 - \cos x \ge 0 \forall x \in R$ nên $f'(x)$ đồng biến hay $f'(x) \ge f'(0) = 0$
Vậy hàm $f(x)$ đồng biến hay $f(x) \ge 0 \forall x \in R$
$\Rightarrow \cos x+\dfrac{x^2}{2}-1\geq 0$
$\Leftrightarrow \cos x \ge 1 - \dfrac{x^2}{2}$
ĐPCM