How do we know pi (any irrational) doesn't have a repeating decimal expansion?

locist.wordpress.com