F（x）=x-arctanx F’（x）=1-1/（1+x平方）=x平方/（1+x平方）》0 所以是增函数,F（x）大于等于F（0）=0 所以x大于等于arctanx