>>41 f(x)とf'(x)とf''(x)の区別がしづらいではないか。

f'(x)をdf(x)/dxに。
f''(x)をd^2f(x)/dx^2に書き直します。

f(x)=cosx−{1−(x^2/2)}とおく。(x>0)

f(x)=cosx+(x^2/2)−1
df(x)/dx=x−sinx
d^2f(x)/dx^2=1−cosx

まずdf(x)/dxとd^2f(x)/dx^2について考える。x>0で−1≦cosx≦1より
1−cosx=d^2f(x)/dx^2≧0よりdf(x)/dxは単調増加である。

次にf(x)とdf(x)/dxについて考える。
df(x)/dxは単調増加とlim[x→+0]df(x)/dx=0であることから
x>0でdf(x)/dx>0がいえるのでf(x)は単調増加であることが分かる。
またlim[x→+0]f(x)=0なのでf(x)>0

以上よりx>0に対して、cosx>1-(x^2/2)は示された。