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