Вы нечетко определили

как ближайшее целое к

.Тем не менее число

определено корректно (где

определяется или как верхнее или как нижнее абсолютная величина разницы все равно 1/2).
Так как функция

периодична с периодом n, то достаточно считать сумму по периоду. Так как

принимает все вычеты по одному разу, то эта сумма равна

. Предел равен среднему, т.е.
