Week 14: Introduction to mathematical induction