令y=arctanx-x
y'=1/(1+x^2)-1
=-x^2/(1+x^2)
≤0
y(0)=0
所以x<0
y≥0
即arctanx≥x