Induccion matematica

En matemáticas, la "inducción" es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposición que depende de un parámetro n que toma una infinidad de valores enteros. En términos simples, la inducción matemática consiste en el siguiente razonamiento:
"Premisa mayor": El número entero a tiene la propiedad P.
"Premisa menor": El hecho de que cualquier número entero n tenga la propiedad P implica que n+1 también la tiene....