Uniqueness of a rational approximation with bounded denominator
= Uniqueness of a rational approximation with bounded denominator
Two distinct reduced fractions with denominators below $N$ differ by more than $1/N^2$, so an interval of radius $1/(2N^2)$ contains at most one.