Sea $M$ un entero positivo. $f(x):=x^3+ax^2+bx+c\in\mathbb Z[x]$ satisface $|a|,|b|,|c|\le M.$ $x_1,x_2$ son raíces diferentes de $f.$ Pruebe que $$|x_1-x_2|>\frac 1{M^2+3M+1}.$$