Descartes' Rule of Signs

A technique that gives an upper bound and parity constraint for the number of positive real roots of a real-coefficient polynomial by counting the number of sign changes in the ordered sequence of its nonzero coefficients when the polynomial is written with descending powers.