Multiplicative entropy power inequality

For independent positive random variables $Y_1,Y_2$ with densities, finite differential entropies and finite ${\mu }_i=\mathbb{E}{\log }_2{Y}_i$, applying the entropy power inequality to $Z_i=\ln Y_i$ givesIndeed $h(Z_i)=h(Y_i)-{\mu }_i$, while $h(Y_1{Y}_2)=h(Z_1+Z_2)+{\mu }_1+{\mu }_2$, provided the sum's differential entropy is defined. Positivity alone does not ensure these expressions exist: $Y=e^T$ with $T$ having Cauchy distribution has undefined $\mathbb{E}{\log }_{2}Y$.

// Target: algebra.bigb