Geometric inequalities and advances in the Ribe program