integrate (8/\pi^2)x(pi/2-atan(x))/(1+x^2) from 0 to infinity