limit 2%5E(4 n)%2F(n binomial(2 n%2C n)%5E2) as n -%3E inf