Bewijs dat een open interval op de reële rechte van lengte $1/n$ maximum $\frac{n+1}2$ rationale punten $\frac pq$ bevat met $n\ge q\ge1$.