This proof uses the principle of mathematical induction in a nontrivial way (i.e., it would be hard to write the proof clearly without explicitly using induction).