这个相当于求f(x)=cosx + x²/2在x>0的时候的最小值
f'(x)=x-sinx > 0
所以f(x)在x>0的时候是单调递增函数
所以f(x) > f(0) = 1