int lnx/lnlnx dx