Johann Lambert
Johann Lambert was the first to provide a rigorous proof that π is irrational.
Find out more at: http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Lambert.html