An inequality for the binary entropy function and an application to binomial coefficients - Mascioni, Vania (Array, 2012)