Fréchet_inequalities loading ...