С
![$(\cos n)^n$ $(\cos n)^n$](https://dxdy-04.korotkov.co.uk/f/f/d/7/fd7b189173cfebdaaa567c20c99dd5a082.png)
всё сравнительно "просто". Рассмотрим "плохие" слагаемые, где
![$|\cos n|^n>1/n$ $|\cos n|^n>1/n$](https://dxdy-02.korotkov.co.uk/f/5/4/0/5407d0a757b4da9928aebfca5679d2ef82.png)
(например); остальной кусок ряда сходится абсолютно. Докажем, что "плохие" слагаемые достаточно редки. Для "плохих" слагаемых справедливо неравенство
![$|n-\pi m|<\arccos n^{-1/n}<n^{-1/3}$ $|n-\pi m|<\arccos n^{-1/n}<n^{-1/3}$](https://dxdy-02.korotkov.co.uk/f/9/b/9/9b91c81e7c13d096181f07f9da910bb582.png)
, где
![$m=m(n)\in\mathbb Z$ $m=m(n)\in\mathbb Z$](https://dxdy-04.korotkov.co.uk/f/7/0/e/70ece86de6866f621bbb5f8dd3da8b1582.png)
(и
![$n\ge n_0$ $n\ge n_0$](https://dxdy-03.korotkov.co.uk/f/a/0/9/a09b1c3120feff145372b3d3c75464eb82.png)
). Если
![$n<n+h$ $n<n+h$](https://dxdy-02.korotkov.co.uk/f/9/3/3/933b54a811265f5f0efc7b8395519c2a82.png)
--- номера "плохих" слагаемых, то с некоторым целым
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
выполнено
![$|h-\pi k|<2n^{-1/3}$ $|h-\pi k|<2n^{-1/3}$](https://dxdy-01.korotkov.co.uk/f/4/7/6/476df4317807a913bbdc8e549b8c7b3282.png)
. Но известно, что
![$\pi$ $\pi$](https://dxdy-04.korotkov.co.uk/f/f/3/0/f30fdded685c83b0e7b446aa9c9aa12082.png)
имеет конечный показатель иррациональности, т.е. существует постоянная
![$C>0$ $C>0$](https://dxdy-03.korotkov.co.uk/f/a/0/c/a0c7601b9316db04a12ae5b1d902a1eb82.png)
такая, что при любых натуральных
![$h,k$ $h,k$](https://dxdy-01.korotkov.co.uk/f/0/c/2/0c2c2fb890a2d1398fc159c6d5b538bb82.png)
выполнено неравенство
![$|h-\pi k|>\frac1{Ch^C}$ $|h-\pi k|>\frac1{Ch^C}$](https://dxdy-04.korotkov.co.uk/f/7/1/b/71b2636fcd1e5525b3db7e5f04a2deea82.png)
, поэтому получаем, что
![$h>n^\delta$ $h>n^\delta$](https://dxdy-04.korotkov.co.uk/f/3/0/d/30d9a137e03335f4e79b5560c0cebdaf82.png)
с некоторой положительной постоянной
![$\delta$ $\delta$](https://dxdy-04.korotkov.co.uk/f/3/8/f/38f1e2a089e53d5c990a82f28494895382.png)
. Соответственно, сумма плохих слагаемых по отрезку
![$(2^N;2^{N+1}]$ $(2^N;2^{N+1}]$](https://dxdy-01.korotkov.co.uk/f/8/f/6/8f6aadc6a8ee5f4f3b375a339113a7c382.png)
оценивается сверху величиной порядка
![$2^{-\delta N}$ $2^{-\delta N}$](https://dxdy-02.korotkov.co.uk/f/1/3/a/13a5eb93e5b0a402abe022b8f2ff589082.png)
.
А вот что делать с
![$\cos n^n$ $\cos n^n$](https://dxdy-03.korotkov.co.uk/f/2/3/1/2310b79d09b70147b70a6a587ae7b24582.png)
, вообще ума не приложу.