Inducción matemática.

La inducción es un razonamiento que permite demostrar una infinidad de preposiciones, o una preposición que depende de un parámetro que toma una infinidad de valores usualmente en el conjunto de los enteros naturales.
Ejemplo:

n=1
n!>=2n-1
1!>=2(1)-1  
1>=1                 *Verdadero*

n=3
n!=2n-1
6!=2(3)-1
6!=6-1
6=5        *Falso*