Johann Lambert
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