示し方が正しいのかよくわからない。
現代数理統計学の基礎のp. 95を参考にして、チェビシェフの不等式で示す。
\(\displaystyle \lim_{n\to \infty} E[(X_n-Y)^2]=0\)であるから、\(\sigma_n=E[(X_n-Y)^2]\)として、\(\displaystyle \lim_{n\to \infty} \sigma_n=0\)が成り立つ。
チェビシェフの不等式を使うと次のように書ける。
\begin{eqnarray}
P(|X_n-Y|\geq k)&\leq&\frac{\sigma_n^2}{k^2}\\ \\
\end{eqnarray}
ここで、\(n \to \infty\)で右辺は0になる。この時、\(k\to 0\)に対して\(P(|X_n-Y|\geq k)\leq 0\)が成立するため、平均二乗収束する確率変数列は確率収束する。