Mathematical induction/Definition

A general method of proving statements concerning a positive integral variable.