Indução finita

Demonstre pela indução finita --> Pn=n! é sempre verdadeira.
1ª parte: n=1 --> P1= 1!=1 (v).
2ª Parte
Se vale para n  --> Pn=n! por Hipótese é verdadeira(V).
Então vale para (n+1) ---> P(n+1)= (n+1)! = (n+1).(n!). (V)
Portanto, vale para todo n natural.