Gaussian logarithmic Sobolev inequality (source code)

= Gaussian logarithmic Sobolev inequality
{c}
{wiki}

For standard Gaussian measure $\gamma$,
$$
\operatorname{Ent}_\gamma(f^2)
\leq2\int\lVert\nabla f\rVert^2d\gamma.
$$