“…For X, Y ∈ L 0 we say that X and Y are comonotone if for all x, y ∈ R, P(X ≤ x, Y ≤ y) = min{P(X ≤ x), P(Y ≤ y)}. 5 Similarly, we say that X and Y are antimonotone if for all x, y ∈ R, P(X ≤ x, Y ≤ y) = max{P(X ≤ x) + P(Y ≤ y) − 1, 0}. 6 In the proof of the sharp version of the Fréchet-Hoeffding bounds and in the sequel, we will repeatedly use the fact that, by nonatomicity, for all X, Y ∈ L 0 we can always find X ′ ∼ X and Y ′ ∼ Y such that X ′ and Y ′ are comonotone.…”