lim((2*x) as x->1)