lcamtuf’s thing • 2244 implied HN points • 28 Feb 26
- Simple rational numbers (like p/q) have only a few very-close different fractions with small denominators; once denominators reach q or larger you can’t get new inexact approximations that beat the 1/b^2 error threshold.
- Irrational numbers, by contrast, admit infinitely many surprisingly accurate rational approximations; Dirichlet’s pigeonhole argument guarantees infinitely many fractions a/b with error on the order of 1/b^2 (for example 22/7 and 355/113 for π).
- Intuitively, rationals form a uniform grid so their gaps limit how close other fractions can get, while irrationals sit inside those gaps and repeated multiples plus the pigeonhole principle produce arbitrarily close rational hits, which is the essence of Diophantine approximation.