lim(x->1) x