クラフトの不等式
右辺を次数毎にまとめたものを ( F ( X ) ) m = ∑ l q l X − l {\displaystyle \left(F(X)\right)^{m}=\sum _{\ell }q_{\ell }\,X^{-\ell }} と書くと、φの単射性より、 q l {\displaystyle q_{\ell }} は長さ l {\displaystyle \ell } の符号語の数に等しい。長さ l {\displaystyle \ell } の語は r l {\displaystyle r^{\ell }} 個しかないので、
q l ≤ r l {\displaystyle q_{\ell }\leq r^{\ell }}
が成立する。
さて、 φ ( s 1 ) , ... , φ ( s n ) {\displaystyle \phi (s_{1}),\ldots ,\phi (s_{n})} の中で最も短い語の長さをmin、最も長い語の長さをmaxとする。