show/hide this revision's text 1 [made Community Wiki]

Nowadays, no one looks at Lambert's proof of the irrationality of $\pi$. Mostly you will see (variations of) the far nicer proof by Niven.