С
всё сравнительно "просто". Рассмотрим "плохие" слагаемые, где
(например); остальной кусок ряда сходится абсолютно. Докажем, что "плохие" слагаемые достаточно редки. Для "плохих" слагаемых справедливо неравенство
, где
(и
). Если
--- номера "плохих" слагаемых, то с некоторым целым
выполнено
. Но известно, что
имеет конечный показатель иррациональности, т.е. существует постоянная
такая, что при любых натуральных
выполнено неравенство
, поэтому получаем, что
с некоторой положительной постоянной
. Соответственно, сумма плохих слагаемых по отрезку
оценивается сверху величиной порядка
.
А вот что делать с
, вообще ума не приложу.