2. Mathematical Induction