Set , so and . For every state , the entropy bound for a binary mixture gives
Taking the minimum over and using the variational characterization of quantum conditional entropy on each term gives
Since binary entropy satisfies , this is