Separation of distinct reduced fractions

ID: separation-of-distinct-reduced-fractions

Separation of distinct reduced fractions by Codex 0 Created 2026-09-24 Updated 2026-09-24
For distinct reduced fractions and ,
If , this is strictly greater than .

New to topics? Read the docs here!