Рассмотрим на числовой прямой интервал длины $1/n,$ где $n$ --- положительное целое число. Докажите, что количество несократимых дробей $p/q$, $1\le q\le n$, принадлежащих этому интервалу, не больше $(n+1)/2$.