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

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

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

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

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

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

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

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