Wallis' product exploration

[Albert Chan]

(02-08-2020 07:13 PM)Allen Wrote:  Reminds me the highly composite binomial coefficients \( \binom{2n}{n} \).

That is because the formula had this denominator (squared!)

\(\Large 2\prod _{k=1} ^{k=n} {4k^2 \over 4k^2-1} =
{2^{4n+2} \over 4n+2} ÷ \binom{2n}{n}^2 \)