Bounded-metric characterization of convergence in probability (source code)

= Bounded-metric characterization of convergence in probability

Convergence in probability is equivalent to
$$
\mathbb E\big(|X_n-X|\wedge1\big)\to0.
$$
The forward implication splits at a fixed error threshold; the reverse implication is Markov's inequality.