f(x)=x-arctanx
f'(x)=1-1/(1+x²)=x²/(1+x²)
所以f'(x)>0
所以f(x)是增函数
所以x