양의 정수 $n$에 대해, 실수직선 위에 길이 $1/n$ 인 임의의 열린 구간을 생각하자. 분모가 $n$ 이하인 기약분수들 중에 이 주어진 구간에 포함되는 것의 개수는 많아야 $(n+1)/2$ 임을 증명하여라.