Fréchet_inequalities