Mathematics · L3 · Mathematical Induction

The two-part structure of a proof by induction, a worked proof of the sum formula 1 + 2 + ... + n = n(n+1)/2, why both steps are required, and the domino/ladder intuition.