I assume the claim is being made for integers , not just any integer.
Basis step: Let . Then
so this case holds.
Inductive step: Assume
As a result, we want to show that
Now,
QED
1.6m questions
2.0m answers