Registry · Theorem IV.T386 tau-effective not_formalized IV.T386 — Best-Integer Approximation --- V.D343 The ratio m^2_31/ m^2_21 is scale-invariant: equation R(p+n, q+n, r+n) = R(p, q, r) for all integers n, Book IV Part 5 Ch. 35