Sum over k of n Choose k by x to the k by kth Harmonic Number/x = -1

Theorem
While for $x \in \R_{> 0}$ be a real number:


 * $\ds \sum_{k \mathop \in \Z} \binom n k x^k H_k = \paren {x + 1}^n \paren {H_n - \map \ln {1 + \frac 1 x} } + \epsilon$

when $x = -1$ we have:


 * $\ds \sum_{k \mathop \in \Z} \binom n k x^k H_k = \dfrac {-1} n$

where:
 * $\dbinom n k$ denotes a binomial coefficient
 * $H_k$ denotes the $k$th harmonic number.

Proof
When $x = -1$ we have that $1 + \dfrac 1 x = 0$, so $\map \ln {1 + \dfrac 1 x}$ is undefined.

Let $S_n = \ds \sum_{k \mathop \in \Z} \binom n k x^k H_k$

Then:

Setting $x = -1$: