# Pi is Irrational/Proof 1/Historical Note

This proof was first published by Ivan Morton Niven in $1947$, and is considered a classic.
The underlying method was developed by Charles Hermite in $1873$, but it was Niven who provided the final details.