Here's a crazy thing. This beautiful formula for π was devised by John Wallis in 1655. It says that π/2 is equal to the infinite product of even numbers squared divided by the product of their adjacent odd numbers, and is sometimes known as the Wallis product.

A few of my notes are here: https://davidmeyer.github.io/qc/basel.pdf. The LaTeX source is here: https://www.overleaf.com/read/xsnvysdcfcvd.

See https://en.wikipedia.org/wiki/Wallis_product for more.

#math #baselproblem #wallisproduct

@mysticshadow I wrote a bit about the Wallis product in the context of Euler's solution to the Basel problem here: https://davidmeyer.github.io/qc/basel.pdf,

The #LaTeX source is here: https://www.overleaf.com/read/xsnvysdcfcvd,

As always, questions/comments/correction/* greatly appreciated. #baselproblem #wallisproduct