Write Taylor polynomial of degree 3 for $f(x)=\cos x$ at $a=0$, and prove that
$$0 \leq E_3(x) \leq \frac{x^4}{24}$$
This is what I have done so far. I struggle mainly with the right side of the inequality.
$E_3(x)=f(x)-P_3(x)$
$f(x)=\cos x$
$f'(x)=-\sin x$
$f''(x)=-\cos x$
$f^3(x)=\sin x$
$f^4(x)=\cos x$
So we have that
$P_3(x)=\cos (0)-\sin (0)\cdot x-\frac{\cos (0)}{2}\cdot x^2+\frac{\sin (0)}{3!}\cdot x^3=1-\frac{x^2}{2}$
$E_3(x)=f(x)-P_3(x)=\cos x-(1-\frac{x^2}{2})$
I see that $E_3(x)\geq 0$. But then I don't know how to prove the right side, does anyone have some tips?