Johann Heinrich Lambert Johann Heinrich Lambert – Who is credited with the first proof that pi is irrational