A note on some inequalities used in channel polarization and polar codingT. S. JayramErdal Arikan2018IEEE Trans. Inf. Theory