Who proved that π (pi) is irrational?

Johann Lambert

Next question