\(N\) を \(2\) 以上の自然数とし, \(a _ n\) ( \(n=1, 2, \cdots\) )を次の性質 (i) , (ii) をみたす数列とする.
(i) \(a _ 1 = 2^N-3\) ,
(ii) \(n=1, 2, \cdots\) に対して,
\(a _ n\) が偶数のとき \(a _ {n+1} = \dfrac{a _ n}{2}\) , \(a _ n\) が奇数のとき \(a _ {n+1} = \dfrac{a _ n-1}{2}\) .
このときどのような自然数 \(M\) に対しても \[ \sum\limits _ {n=1}^M a _ n \leqq 2^{N+1} -N-5 \] が成り立つことを示せ.
続きを読む