lim(x rarr1)((x)