Câu hỏi 4Nếu tất cả các nghiệm thực của $x^3+ax^2+bx+c$ là thực thì hãy chứng minh rằng $$12ab+27c\le6a^3+10\sqrt{(a^2-2b)^3}.$$