Lemma 7.6 (Kraft inequality): a prefix-free set S of binary strings has ∑_{σ∈S} 2^{−|σ|} ≤ 1

Initializing...

Lemma 7.6 (Kraft inequality): a prefix-free set S of binary strings has ∑_{σ∈S} 2^{−|σ|} ≤ 1 · Prove2Me