Prove inequality in first version of strong law

43 Views Asked by At

From Williams' Probability w/ Martingales:

enter image description here

How exactly does that inequality hold true?

I get that $E[X_i^2] \le E[X_i^2]^2 \le K$ and $E[X_j^2] \le E[X_j^2]^2 \le K$, but how does that mean $E[X_i^2] E[X_j^2] \le K$?

I'm guessing it follows from saying $E[X_i^2 X_j^2] \le K$. If so, why is that true? Might be related to $E[X_i^4] \le K$, I guess, but I'm not quite sure how to make the inference.

1

There are 1 best solutions below

0
On BEST ANSWER

We have $[\mathbb E(X_i^2)]^2\leq K$ or equivalently $\mathbb E(X_i^2)\leq K^{\frac12}$ for each $i$.

Then: $$\mathbb E(X_i^2)\mathbb E(X_j^2)\leq K^{\frac12}K^{\frac12}=K$$