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