Registry · Remark IV.R470 framework not_formalized

IV.R470 — The Approximation

The convergent 9/40 deserves special attention. The denominator 40 = 8 5 and the numerator 9 = 3^2 are both small...

Book IV Part 3 Ch. 27