Counting Real Roots via Derivative Sign and the Intermediate Value Theorem

Use $f'$ to split the line into monotone pieces, then count exactly one root per piece whose endpoints straddle zero — no factoring required.