(lnx)/x = pi/2