A Gaussian expectation product inequality