Zdroj TeX:
\sum(2^{-m_i}) \leq1