int 1-lnx dx