Gaussian Poincaré inequality (source code)

= Gaussian Poincaré inequality
{c}
{wiki}

For standard Gaussian measure $\gamma$, the sharp Poincaré constant is one:
$$
\operatorname{Var}_\gamma f\leq\int\lVert\nabla f\rVert^2d\gamma.
$$