Podemos reescribir la suma mediante una serie geométrica, a continuación, aplicar el teorema del binomio:
\begin{align*}
\sum_{k=1}^{n}\binom{n}{k}\frac{(-1)^k}{2^k-1}&=\sum_{k=1}^n (-1)^k {n\choose k} \sum_{m=1}^\infty \frac{1}{2^{mk}}\\
&=\sum_{m=1}^{\infty}\left[\left(1-\frac{1}{2^{m}}\right)^n-1\right].
\end{align*}
En un sentido, esta hecho cosas peores, porque hemos sustituido la suma finita con un infinito. Por otro lado, la serie infinita es bueno porque:
- los términos son todos negativos y aumentar monótonamente a $0$, y
- los términos de decaimiento exponencial de una vez $m$ es mayor que $\log_2(n)$.
Para $n$ grandes, los términos de la serie están muy cerca de $-1$ al $m$ es de menos de $\log_2 n$ y muy cerca de a $0$ al $m$ es mayor que $\log_2 n$. Con algo de cuidado, esto es suficiente para demostrar que la suma nunca difiere de $-\log_2(n)$ por más de $2$.