lim_(n to infty) (n/e)^n n! (2^(2n))/((2n)!)