Fuente TeX:

P(n): 2^n\geq n^2