Results stated without proof (see Chapter 5)

Kraft inequality

Gibbs inequality

Right hand side of the symbol-code source coding theorem

Huffman coding is optimal