MathCastle
Proof WritingChallengeInduction

Induction · Challenge problem

"Claim": 5n=05n = 0 for every integer n≥0n \ge 0. "Proof" by strong induction: P(0)P(0) holds. For k+1k + 1, write k+1=i+jk + 1 = i + j with 0≤i,j≤k0 \le i, j \le k; by hypothesis 5i=05i = 0 and 5j=05j = 0, so 5(k+1)=05(k + 1) = 0. The step works for every k≥0k \ge 0 except one. Which kk?