This document discusses mathematical induction. It defines induction as generalizing statements from facts and provides two steps to prove a statement P(n) is true for all natural numbers n: 1) the basis step verifies P(1) is true, and 2) the inductive step shows P(k) implies P(k+1) is true for all positive integers k. Several examples are provided to illustrate these steps, such as proving formulas for the sum of the first n positive integers and odd integers, and the sum of terms in a geometric progression.