integral from 0 to infinity of (1+x^2)^(-1/2)