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