Descartes rule of signs ($N_{+}(p)\le V(p)$)

Let $V(p)$ be the number of sign changes in the list of nonzero coefficients of a real polynomial, arranged by increasing or decreasing degree. The positive roots of a polynomial, counted with multiplicity of a root, satisfyThe bound follows by induction on the nonzero terms after removing the lowest power of $x$. Differentiation removes the constant coefficient. If it and the next coefficient have opposite signs, the Rolle root count with multiplicities loses at most one root and the sign-change count loses one. If their signs agree, the derivative must have an extra root before the first positive root, so neither count needs that extra allowance. The parity statement follows by comparing the signs near zero and at positive infinity: roots of odd multiplicity reverse the sign, and roots of even multiplicity preserve it. Apply the same rule to $p(-x)$ to bound negative roots.