integral atan(x)/x from 0 to 1