Let indicate whether the outcome differs from . Then . The chain rule for information entropy gives
since is determined when . The remaining conditional distribution has at most outcomes, so the maximum entropy on a finite alphabet is . Therefore the Shannon source coding theorem limit obeys
Here is the binary entropy function; equality holds when the rare outcomes are equiprobable. A convenient explicit small- bound is
because . For a fixed alphabet, this upper bound tends to zero as .