integrate 1/(1+x^2) from x = 1 to inf