lim x^0 as x->0+