Pi is Irrational/Historical Note

Historical Note on $\pi$ is Irrational
The fact that $\pi$ (pi) is irrational was first proven in $1761$ by.