Es sei
ein reelles Polynom mit a n > 0 {\displaystyle {}a_{n}>0} . Man gebe in Abhängigkeit von den Koeffizienten a 0 , … , a n {\displaystyle {}a_{0},\ldots ,a_{n}} eine Schranke b {\displaystyle {}b} derart an, dass
für alle x ≥ b {\displaystyle {}x\geq b} gilt.