integral from 1 to infty 1/((x^2+1) arctan(x))