Integral of the fractional part of 1/x