设f(x)=x-arctanx
f'(x)=1-1/(x^2+1)
x≥0时,f'(x)≥0
所以x≥0时,f(x)≥f(0)=0
所以x≥arctan x.