picked the most suitable inequalities for our purposes from a list that we obtained by gradually
weakening the mentioned inequalities. We will supply this list in the Appendix along with the
way we obtained them; some of these inequalities might also be useful in other applications