How do we know pi is an irrational number?

Originally defined as the ratio between the circumference of a circle and its diameter, pi — written as…