lim 0^x as x->0+