is: a technique of proving a theorem by showing that if a result is true for some value of a parameter, such as
then it is also true for
Completion of the proof then consists of showing explicitly (and usually trivially) that the result is indeed true for the smallest allowable value of
Copyright 1997, The Open University