An interpolation proof of Ehrhard's inequality
  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. 
Joe Neeman and Grigoris Paouris
math.PR