  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.
