Edge-isoperimetric inequality in the discrete cube

For $A\subseteq \{0,1{\}}^n$,Equivalently, $A$ spans at most $\frac{1}{2}|A|{\log }_2|A|$ cube edges. Induction on the dimension and concavity of binary entropy prove the inequality.

The binary entropy function isIt is concave on $[0,1]$ and satisfies $H_2(x)\ge 2x$ for $0\le x\le 1/2$ by comparison with the chord from $(0,0)$ to $(1/2,1)$.