An optimal bound for path weights in Huffman trees
scientific article; zbMATH DE number 633508