@rotopenguin @nixCraft
🤷 The question is so common, there is a whole Wiki article.

Or perhaps it's also historically interesting.

https://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational