ResPubID7700, Gruss inequality, inequality, lemma