Introduce a selector with Bernoulli distribution of parameter , and construct by taking its conditional law given to be , and its conditional law given to be . No prescribed joint law of is needed. Summing over the selector gives the desired mixture probability mass function. The conditional entropy is
Since conditioning cannot increase information entropy,
This proves the concavity of information entropy. The argument also covers infinite information entropies with the convention that a zero mixing weight contributes zero. At or , the mixture is the corresponding original law and equality is immediate.
Draw uniformly from and let be uniform on independently. Then
If denotes the marginal law of , this also says . Since is uniform on ,
Subadditivity of information entropy followed by concavity of information entropy gives
Exponentiating proves .
Let be the marginal probability distribution of . Subadditivity of information entropy and the concavity of information entropy give
For each ,
so .