Fuente TeX:
\forall n\in \mathbb{N}: n\geq 4, \, P(n)