Kraft inequality (source code)

= Kraft inequality
{c}
{wiki=Kraft–McMillan_inequality}

The lengths of every decipherable binary code satisfy
$$
\sum_i2^{-l_i}\leq1.
$$
Conversely, any positive integer lengths satisfying this bound can be realized by a <prefix code>.