int 1/(1+x^2) dx, x=0..infinity