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 of
Part (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 gives
with every .

Articles by others on the same topic (0)

There are currently no matching articles.