Stanford CS103 Lecture 12: Induction, Counterfeit Coins, and Invariants
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.