Induction, Counterfeit Coins, and Invariants | Stanford CS103 Lecture 12
Induction is not a list of checked examples: establish a true starting point, prove that an arbitrary true case transmits truth to the next case, and invoke the induction principle.