Fuente TeX:

P(n) := a_{n+3} \geq 3^n