Seja um número real tal que o polinômio admite apenas raízes reais. Então: