A method of mathematical proof that shows that if a statement holds for a natural number n and also holds for n+1, then it holds for all natural numbers.

"Mathematical induction is a powerful technique used in algorithms to prove correctness, especially for recursive functions."