Suppose \(X\) and \(Y\) are two independent standard normal random variables.
(a) Prove that for all twice continuously differentiable functions \(f,g:\mathbb {R}\to \mathbb {R}\), \[ \operatorname {Cov}(f(X),g(X))=\int _0^1 \E \!\left [f'(X)g'\!\left (sX+(1-s^2)^{1/2}Y\right )\right ]\,ds. \]
(Hint: Check it first for \(f(x):=\exp (itx)\) and \(g(x):=\exp (itx)\).)
(b) Conclude the following “Poincaré inequality,” due to J. Nash (1958): \[ \Var (f(X))\le \E \!\left [(f'(X))^2\right ]. \]