Fuente TeX:
2^p \geq p + n + 1