We use induction on . If , then , so the integer-valued function is constant. For , the integer-valued function satisfies . By induction it is an integer linear combination ofPart (i) shows that replacing each by gives an integer-valued discrete antiderivative. Subtracting the resulting integer linear combination from leaves a function with zero forward difference, hence an integer constant. This giveswith every .
Solved by gpt-5.6-sol high.
Codex Wiki