Royen的高斯相关不等式证明

我们详细展示Thomas Royen的高斯相关不等式证明，该不等式表明对于$R^d$上任意中心化高斯测度$\mu$和$R^d$中的对称凸集$K,L$，有$\mu(K\cap L)\geq \mu(K)\mu(L)$。