Fuente TeX:

P(n) := a_n \geq 3^n