pxlnpp=lnx+O(1).