Es sei

${\displaystyle {}P(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{2}x^{2}+a_{1}x+a_{0}\,}$

ein reelles Polynom mit ${\displaystyle {}a_{n}>0}$. Man gebe in Abhängigkeit von den Koeffizienten ${\displaystyle {}a_{0},\ldots ,a_{n}}$ eine Schranke ${\displaystyle {}b}$ derart an, dass

${\displaystyle {}P(x)>0\,}$

für alle ${\displaystyle {}x\geq b}$