We start with a generalization of [1]}, which is subsumed by the case with \(n=1\)  in the following.
The lemma below provides a way to approximate a logarithmic function from below with polynomial functions.
