/ x -n \ lim \2 *n *n!/ x->oo
Limit((2^x*n^(-n))*factorial(n), x, oo, dir='-')
/ -n \ oo*sign\n *Gamma(1 + n)/