lim (ln(x)-x) as x to inf