The binary entropy is
The Shannon source coding theorem requires
for the standard Shannon construction, while every prefix code obeys the lower bound. Numerically,
Thus both codes satisfy the theorem, with the Huffman code closer to the entropy lower bound.