Mathematical induction is a method of proof typically used to establish that a property holds for all natural numbers. The proof involves showing that the property holds for the base case, usually n = 1, and then assuming the property holds for some arbitrary natural number k to prove it holds for k + 1. If both steps are true, then the property must hold for all natural numbers by induction.