Fuente TeX:
\forall n \in \mathbb{Z}^{+}, n \geq 3 \implies a_n \geq 3^n