Solution
= Solution
For a binary <prefix code> with length function $L_n:A^n\to\mathbb N$, the <Kraft inequality> is
$$
\sum_{x_1^n\in A^n}2^{-L_n(x_1^n)}\leq1.
$$
= Solution
For a binary <prefix code> with length function $L_n:A^n\to\mathbb N$, the <Kraft inequality> is
$$
\sum_{x_1^n\in A^n}2^{-L_n(x_1^n)}\leq1.
$$