ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3482 on R800: Proof by principle of weak mathematical induction
P3482
This result is a particular case of R796: Principle of weak mathematical induction. $\square$