Lim x->inf (2+1/x)^x/log(e^2)^x