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