Johann Lambert was the first to provide a rigorous proof that π is irrational.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Lambert/
