Alexandrov meets Lott--Villani--Sturm

Here I show compatibility of two definition of generalized curvature bounds — the lower bound for sectional curvature in the sense of Alexandrov and lower bound for Ricci curvature in the sense of Lott–Villani–Sturm.