The Irrationality Measure of Pi is at most 7.103205334137... — mentioned by madars

Sun, 12 Jun 2022 04:17:23 GMT

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

Paper and discussion history. A mention is not an endorsement.

The Irrationality Measure of Pi is at most 7.103205334137... · HackerPapers discussions

The Irrationality Measure of Pi is at most 7.103205334137... — mentioned by madars