integrate arctan(x)/x^2 dx from x=1 to +infinity