Fuente TeX:
\iff C(n)\ge \log(n)+1