Chebyshev functional, inequalities, lemma