What is mean by formal induction?

Formal induction is a method of proof commonly used in mathematics to demonstrate that a statement is true for all natural numbers. It involves proving a base case (often n=1) and then showing that if the statement is true for any natural number n, it must also be true for n+1.