expand (\pi/2-tan^(-1)(x))/(1+x^2) at infinity