Induction

A method for proving a proposition that is valid for infinitely many different values of a variable. For example, it can be used to prove the formula 1 + 2 + 3 + 4 + . . . + n = .

See also

QED