Otto-Villani HWI Inequality