§5, eq. (5.13) — at most one fraction with denominator $< n$ within $1/2q$ of $c/q$ · Prove2Me

P

Initializing...

§5, eq. (5.13) — at most one fraction with denominator $< n$ within $1/2q$ of $c/q$ · Prove2Me