integrate arctan(x)dx/(1+x^2) as x goes from 0 to infinity