Областная олимпиада по математике 2022 года за 10 класс | Казахстанские олимпиады

Пусть $x_1$ и $x_2$ — два различных действительных корня уравнения $a x^3 + b x^2 + c x + d =0.$ Докажите, что $x_1 x_2 \ge \frac{4ac - b^2}{4a^2}.$