Attainment of bounds

Descartes' Rule gives an upper bound, not an exact count — the next two sub-sections work through fully-solved polynomials to see when that bound is attained exactly and when it isn't, then combine the positive- and negative-root bounds into a **l …