判定函数f(x)=arctanx-x的单调性