Gaussian Source Maximizes Rate Distortion Function

Theorem (Gaussian Source maximizes R(D)R(D))

Suppose a continuous source XX has mean zero and variance σ2\sigma^{2}. Considering the MSE distortion, the rate distortion function is upper bounded as R(D){12logσ2D0<Dσ20D>σ2R(D)\le\begin{cases} \frac{1}{2}\log \frac{\sigma^{2}}{D}&0<D\le \sigma^2 \\ 0&D>\sigma^{2} \end{cases} i.e. R(D)RG(D)R(D)\le R_{G}(D)