MathCastle
Proof WritingChallengeInduction

Induction · Challenge problem

Every integer n≥Nn \ge N is of the form 4a+7b4a + 7b (a,b≥0a, b \ge 0), with NN as small as possible. A strong-induction proof whose step adds a 44 needs four base cases N,N+1,N+2,N+3N, N + 1, N + 2, N + 3. What is the sum of these four base values?