Fuente TeX:
x \implies 2^{C(n)}\ge 2*n