denotes the perimeter of the set E, W p is the p-Wasserstein distance between Borel
probability measures, and λ> 0 is arbitrary. The result holds in all space dimensions, for all
p∈[1,∞), and for all positive λ. This answers a question of Buttazzo, Carlier, and Laborde.