Para un entero positivo $k$, sea $s(k)$ la suma de los dígitos de $k$. Demuestre que hay infinitos números naturales $n$ tales que $s(2^n) > s(2^{n+1})$.