Sea$X,Y$ una variable aleatoria con media$\mu$ y que tenga momentos finitos de, digamos, todos los órdenes.
Es un ejercicio fácil para mostrar que$$\operatorname{Var}(X) = E[|X-\mu|^2] = \frac{1}{2} E[|X-Y|^2].\tag{*}$ $ Si queremos una versión$L^p$ de esta sentencia,$1 \le p < \infty$, podemos escribir $$ \begin{align*} E\left[|X-\mu|^p\right] &= E\left[\left|E[X-Y \mid X]\right|^p\right] \\ &\le E\left[E[|X-Y|^p \mid X]\right] &&\text{(conditional Jensen)} \\ &= E[|X-Y|^p]. \end {align *} $$ Sin embargo, esto no se reduce a (*) cuando$p=2$, porque falta el factor de$1/2$. ¿Existe una versión "mejor" de esta desigualdad$L^p$ que contiene la igualdad para$p=2$?