f'(x)=1/(1+x^2)-1/x^2=-1/(1+x^2)x^2<0
f(x)在x>0上单调递减
lim（x趋近于正无穷）f(x)=π/2+0=π/2
∴arctan x+1/x>π/2