构造函数 递增或递减
令 f（x）=arctanx-x /2 x∈（0,1）,求导 f（x）‘=1/(1+x^2)-1/2
易知10 所以fx递增 所以 原式成立 !
!