X× Y c (x, y) dπ, where Π (µ, ν) is the set of all couplings between (X, µ) and (Y, ν). Generally,
this optimal coupling subdivides mass at a single point and sends it to multiple locations …