The Number of Distinct Real Roots of a Real Polynomial - Wolfram ...