Fuente TeX:

2^{k+1} > 2(k^2 + 1) \rightarrow 2^(k+1) > 2k^2 + 2 > 2k^2 > k^2 + 2k + 1 = (k+1)^2