KöMaL 2006 B3917

Prove that an open interval of length $\frac{1}{n}$ may contain at most $\left[\frac{n+1}{2}\right]$ rational numbers whose denominator is at most $n$.