Seja f(x) = x² + 2007x + 1. Prove que, para todo n inteiro positivo, a equação  tem pelo menos uma solução real.