lim((x*2^x)/(e^x)) as x->inf