What is the integral of 1/(2x)?