lim(ln1 x)x