Johann Lambert
lived from 1728 to 1777
Lambert was the first to provide a rigorous proof that is irrational.