Joe Neeman, Grigoris Paouris·2016-05-24·via math.PR updates on arXiv.org
We prove Ehrhard's inequality using interpolation along the Ornstein-Uhlenbeck semi-group. We also provide an improved Jensen inequality for Gaussian variables that might be of independent interest.