Fuente TeX:
\forall n\geq 3,~~P(n)