Fuente TeX:

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