 Kantorovich–Rubinstein theorem

On a Polish space $(X,\rho )$, probability measures with finite first moments satisfyThe supremum runs over functions with Lipschitz constant at most one. Fixing $f(x_0)=0$ ensures integrability from the moment assumption.