Coupling characterization of total variation distance
= Coupling characterization of total variation distance
The total variation distance is the least possible mismatch probability over all couplings:
$$
\lVert\mu-\nu\rVert_{\mathrm{TV}}=\inf\mathbb P(X\ne Y).
$$