f(x)=cos(x)-1+(x^2/2)とおくと、f(0)=0
f'(x)=-sin(x)+x、f'(0)=0
f''(x)=-cos(x)+1≧0 より、x>0で f'(x)>0
よってx>0で f(x)>0