Pi is Irrational/Proof 1/Historical Note

Historical Note on Proof 1 of Pi is Irrational
This proof was first published by in $1947$, and is considered a classic.

The underlying method was developed by in $1873$, but it was  who provided the final details.