¿Para qué números naturales pares $d{}$ existe una constante $\lambda>0$ tal que cualquier polinomio reducido $f(x)$ de grado $d{}$ con coeficientes enteros que no tenga raíces reales satisface la desigualdad $f(x) > \lambda$ para todos los números reales?