Theorem T4 Let HnH_nHn be the harmonic numbers. Then ∑k=1n−1Hk=nHn−n\sum_{k=1}^{n-1} H_k = n H_n - n k=1∑n−1Hk=nHn−n for n≥1n \geq 1n≥1.