MathCastle
Proof WritingMediumInduction

Induction · Medium problem

Every integer n≥20n \ge 20 is a sum of 55s and 66s. A strong-induction proof uses P(k−5)P(k - 5) to get P(k+1)P(k + 1) (add a 66 to a representation of k−5k - 5). How many base cases must be checked by hand?