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