We will try as a general principle to prove the required properties for values greater than a
specified margin, and then use computer checking in order to lower that margin as much as
possible. To this end, we will make use of some already known inequalities that we list below: