lim(x→∞)(π/2-arctanx)/(1/x)
=lim(x→∞)[-1/(x^2+1)]/(-1/x^2)
=lim(x→∞)x^2/(x^2+1)
1