3 ms·
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 :-
by madars 4y ago
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 https://arxiv.org/abs/1912.06345
- jgeralnik 4y agoYou can't have a string of 4242T zeroes immediately after the first 101T digits but presumably you could have them sometime later (say after another 10000T digits)