Let μ and ν be two probability measures on the Borel sets of the plane. Prove that there are random variables ξ1,ξ2,η1,η2 such that
(a) the distribution of (ξ1,ξ2) is μ and the distribution of (η1,η2) is ν,
(b) ξ1≤η1,ξ2≤η2 almost everywhere, if an only if μ(G)≥ν(G) for all sets of the form G\equal{}\cup_{i\equal{}1}^k (\minus{}\infty, x_i) \times (\minus{}\infty, y_i).
P. Major probabilityprobability and stats