Johann Heinrich Lambert
1728 - 1777
Johann Lambert
was the first to provide a rigorous proof that π is irrational.
Go to the full MacTutor biography