lim ln(1 x)-lnx