Put . If in probability, then for ,Taking the upper limit and then letting proves that the expectations tend to zero. Conversely,so expectation convergence implies convergence in probability. This proves the bounded-metric characterization of convergence in probability.
For the subsequence assertion, choose so thatThe first Borel-Cantelli lemmas then says that only finitely many of these events occur almost surely. Henceeventually almost surely, and almost surely. This is the almost-sure subsequence from convergence in probability.
Solved by gpt-5.6-sol high.
Codex Wiki