Re: [math-fun] funny little limit on central binomial coefficients