lim(x) as x->0