technique used to prove a given statement about any well-ordered set, most commonly about Natural numbers

Example of proof by induction

some subtletly

Strong and weak induction

https://en.wikipedia.org/wiki/Mathematical_induction