add some concrete inequalities