Necesito demostrar que:
$$(1) \ \forall n\in\Bbb{N}_{\ge2}, \ \exists p\in \Bbb{P} : n < p < n!$$
Ya sé cómo demostrar a la $n < p$ parte; se sigue directamente de la prueba de que no hay mayor prime. Sin embargo, estoy perplejo en el $p < n!$ part.
Una idea que yo tenía para mostrar que esto es como sigue: sabemos que $(2) \ \forall n \in \Bbb{N}_{\ge2},\ \exists m\in\Bbb{N} : n!=2m$. Por probar un par de valores, me conjeturó que $(3) \ \forall n\in\Bbb{N}_{\ge2}, \ \exists p\in \Bbb{P} : n < p < 2n$. Si (3) podría ser mostrado, sería fácil de demostrar (1), pero no parece ser de ninguna manera fácil de probar (3), si es correcto aún.