Stat.Coupling.Monotone

Monotone couplings of random variables and stochastic-order comparisons.

Product­Loss 22 core · 26 supporting · 9 submodules This module collects the coupling construction and optimality theorem showing that, among all couplings of two real probability measures with finite second moments, the product expectation is largest at the comonotone qu