Si p ≤ n entonces p debe dividir a 1, lo que es un absurdo, por lo tanto n < p ≤ n! − 1 < n!.