En su blog T. Tao's demuestra la siguiente desigualdad de concentración, debida a Talagrand.
Dejemos que $K>0$ y que $X_{1},..., X_{n}$ sean variables aleatorias complejas iid, todas ellas acotadas por $K$ . Sea $F:\mathbb{C}^n\rightarrow \mathbb{R}$ ser un $1$ -Función convexa de Lipshitz (para esta identificación $\mathbb{C}^n$ con $\mathbb{R}^{2n}$ ). Entonces, para cualquier $\lambda$ uno tiene: $$ \mathbb{P}(|F(X)-MF(X)|\geq\lambda K)\leq C \exp(-c\lambda ^{2}) \tag{1}$$ y $$ \mathbb{P}(|F(X)-\mathbb{E}F(X)|\geq\lambda K)\leq C \exp(-c\lambda ^{2}) \tag{2}.$$
Afirma que es suficiente con demostrar $(1)$ porque $(1)$ imples a su vez que: $$\mathbb{E}F(X)=MF(X)+\mathcal{O}(1)$$ lo que da como resultado $(2)$ .
POR QUÉ ES $$\mathbb{E}F(X)=MF(X)+\mathcal{O}(1)$$ verdadero, y en particular por qué se puede deducir de $(1)$ ?