Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 323 2 iii Solution Created 2026-10-03 Updated 2026-10-05
Let indicate whether the outcome differs from . Then . The chain rule for information entropy givessince 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 obeysHere is the binary entropy function; equality holds when the rare outcomes are equiprobable. A convenient explicit small- bound isbecause . For a fixed alphabet, this upper bound tends to zero as .