С

всё сравнительно "просто". Рассмотрим "плохие" слагаемые, где

(например); остальной кусок ряда сходится абсолютно. Докажем, что "плохие" слагаемые достаточно редки. Для "плохих" слагаемых справедливо неравенство

, где

(и

). Если

--- номера "плохих" слагаемых, то с некоторым целым

выполнено

. Но известно, что

имеет конечный показатель иррациональности, т.е. существует постоянная

такая, что при любых натуральных

выполнено неравенство

, поэтому получаем, что

с некоторой положительной постоянной

. Соответственно, сумма плохих слагаемых по отрезку
![$(2^N;2^{N+1}]$ $(2^N;2^{N+1}]$](https://dxdy-01.korotkov.co.uk/f/8/f/6/8f6aadc6a8ee5f4f3b375a339113a7c382.png)
оценивается сверху величиной порядка

.
А вот что делать с

, вообще ума не приложу.