对于独立同分布的离散无记忆随机变量 X X X产生的序列,如果其熵为 H ( X ) H(X) H(X),则如果要将其无损压缩为串 S = c 1 c 2 c 3 . . . c n S=c_1c_2c_3...c_n S=c1c2c3...cn,其中 c i ∈ A = { a 1 , a 2 , . . . , a n } c_i∈A=\{a_1,a_2,...,a_n\} ci∈A={a1,a2,...,an},则压缩后的最小平均码长 E ∣ S ∣ \mathbb{E}{|S|} E∣S∣满足:
H ( X ) log 2 ( ∣ A ∣ ) ≤ E ∣ S ∣ < H ( X ) log 2 ( ∣ A ∣ ) + 1 \frac{H(X)}{\log_2(|A|)}\leq\mathbb{E}{|S|}\lt\frac{H(X)}{\log_2(|A|)}+1 log2(∣A∣)H(X)≤E∣S∣<log2(∣A∣)H(X)+1