Wallis' product exploration

[Allen]

(02-08-2020 07:53 PM)Albert Chan Wrote:  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 \)

Interesting!!

Since the central binomial coefficients are related to Catalan numbers, Wallis' product \( \pi \) approximation for each \( n \) is inversely proportional to the number of ways a regular \( n \)-gon can be divided into \( n-2 \) triangles.

As \( n \rightarrow \infty \) then the \(n\)-gon shape approaches a circle.

Wait, \( \pi \) is related to circles because of triangles?