Binary entropy product inequality (source code)

= Binary entropy product inequality

For $x,y\in[0,1]$, the <binary entropy> and the <golden ratio> $\varphi$ satisfy
$$
h_2(xy)\geq\frac{\varphi}{2}\bigl(xh_2(y)+yh_2(x)\bigr).
$$