Consider this claim:
Every positive integer greater than 29 can be written as a sum of a non-negative multiple of 8 and a non-negative multiple of 5.
Assume you are in the inductive step and trying to prove P(n+1) using strong induction. What would be the inductive hypothesis for this problem, if formalized and written in logical notation?
Please provide an explanation, I'm really trying to learn this stuff.