Que quiere decir con "probar que se cumple para todo n sin embargo no se cumple para ningun n"?
Si suponés que se cumple para n, podés demostrar que se cumple para n+1, pero no hay ningún n que lo cumpla.
La idea es que uno puede demostrar el paso inductivo, pero no se encuentra ningún paso base. Es por esto que la expresión no será válida para ningún natural.
Saludos,
Nando.