  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.
