Fun fact: Mahler famously showed that if p/q is a rational number then |\pi - p/q| > 1/q^42. So we can't have a string of 4242T zeros after first 101T digits :-) The exponent 42 has since been improved by a series of works to 7.1032 - https://arxiv.org/abs/1912.06345