A property of the nearly optimal root-bound (Q596173)

Let \(p\in \text{C}[z]\), \(p(z)=\sum_{i=0}^{n}a_{i}z^{i}\), a given polynomial of degree \(n\) with roots \(z_{1},z_{2},...,z_{n}\) and denote \[ \mu(p)=\max\{\left| z_{i}\right| : i=1,2,...,n\}. \] Then it is known that, whenever the following numbers \[ F(p)=2\max\left\{\left| \frac{a_{n-1}}{a_{n}}\right| , \left| \frac{a_{n-2}}{a_{n}}\right| ^{1/2},...,\left| \frac{a_{1}}{a_{n}}\right| ^{1/(n-1)},\left| \frac{a_{0}}{2a_{n}}\right| ^{1/n}\right\}, \] \[ K(p)=2\max\left\{\left| \frac{a_{n-1}}{a_{n}}\right| , \left| \frac{a_{n-2}}{a_{n-1}}\right| ,...,\left| \frac{a_{1}}{a_{2}}\right| ,\left| \frac{a_{0}}{2a_{1}}\right| \right\}, \] are well defined, we have \[ F(p)\geq \mu(p) \;\text{and} \;K(p)\geq \mu(p). \] The present paper shows that in this case we actually have \[ \mu(p)\leq F(p) \leq K(p). \]