Past exam of the communication Theory course of the University of Oxford / 2008 / 2 / a / Solution

For a finite probability distribution,with $0{\log }_{2}0=0$. If the positive support has size $s\le n$, apply the given strict Jensen inequality to the random variable $Z=1/p_X$:Equality requires $s=n$ and $Z$ constant almost surely, so all probabilities are $1/n$. Conversely the uniform distribution attains this bound. Thus $\boxed{H(X)\le {\log }_{2}n}$, with exactly that equality case.