A note on some inequalities used in channel polarization and polar coding

We give a unified treatment of some inequalities that are used in the proofs of channel polarization theorems involving a binary-input discrete memoryless channel.