Maths WorkshopMaths problems with full solutions
Exercise 1044Logic, sets and proofs › Proof techniques › InductionL1Added 3 Nov 2026

A factorial identity

#induction#factorial#identity

Statement

Prove that ∑k=1nk⋅k!=(n+1)!−1\sum_{k=1}^{n}k\cdot k!=(n+1)!-1.

Hint

k⋅k!=(k+1)!−k!k\cdot k!=(k+1)!-k!, telescoping.

Show solutionHide solution

Solution

Identity. k⋅k!=(k+1−1)k!=(k+1)!−k!k\cdot k!=(k+1-1)k!=(k+1)!-k!.

Sum. ∑k=1nk⋅k!=∑k=1n[(k+1)!−k!]=(n+1)!−1!\sum_{k=1}^n k\cdot k!=\sum_{k=1}^n[(k+1)!-k!]=(n+1)!-1!.

Induction alternative. Base case n=1n=1: 1=2!−1=11=2!-1=1. ✓ Inductive step: ∑k=1n+1k⋅k!=(n+1)!−1+(n+1)(n+1)!=(n+1)!(n+2)−1=(n+2)!−1\sum_{k=1}^{n+1}k\cdot k!=(n+1)!-1+(n+1)(n+1)!=(n+1)!(n+2)-1=(n+2)!-1.

Conclusion. The identity holds.