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
4.5m questions
5.9m answers