Theorem T3 Let HnH_nHn be the harmonic numbers. Then ∑k=1nHk=(n+1)Hn−n\sum_{k=1}^n H_k = (n+1) H_n - n k=1∑nHk=(n+1)Hn−n for n≥0n \geq 0n≥0.