Is int 1/xdx = lnx?