Mean value thm을 이용해서 cos x ≥ 1 - x² / 2를 보여야 하는데 어떻게 해야 할까?
일단 f(x) = 1 - cos x를 써서
There exists t in (0, x) such that (1 - cos x) = x × f'(t) = x sin t ≤ xt ≤ x² ==> cos x ≥ 1 - x²
까지는 생각했는데 저걸 계수를 -1에서 -½로 어떻게 줄여야 할 지 모르겠음
그냥 푸는 건 쉬움
cos x = 1 - 2 sin² (x/2) ••• 반각 공식
= 1 - 2 sin² |x/2|
≥ 1 - 2 |x/2|² ••• |x| ≥ |sin x|
= 1 - x²/2
