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