Fuente TeX:
2^k > k^2 + 1