lim (1+1/x)^x, x->oo