Where does entropy come from?1
\[ H(x) \leq \min_{c: \text{prefix free}} \E [\text{len}(c(x)] \leq H(x) + 1 \]