Mientras trabajaba en una suma doble difícil, reduje (erróneamente) que la suma de abajo, que reconocí numéricamente a converger rápidamente a log2.
Prueba $$\lim{m\to\infty}\sum{k=1}^m\frac{2^{-k}}{k} = \log 2
La observación Linda es si reemplazar el 2−k (−1)−k obtienes el mismo resultado (ahora la convergencia se convierte en condicional).