We show that the variance of a probability measure \(\mu \) on compact subset X complete metric space M is bounded by square circumradius R canonical embedding into P(M) measures M, equipped with Wasserstein metric. When barycenters are unique (such as CAT(0) spaces), our approach shows in fact coincides and so this result extends recent Lim-McCann from Euclidean space. Our involves bi-linear m...