integrate arctan(x)/x from 0 to infinity