Gọi a là số thực lớn nhất để bất phương trình x^2 - x + 2

Câu hỏi :

Gọi a là số thực lớn nhất để bất phương trình ${\mathrm{x}}^2-\mathrm{x}+2+\mathrm{a} \ln ({\mathrm{x}}^2-\mathrm{x}+1)\ge 0$ nghiệm đúng với mọi x. Mệnh đề nào sau đây đúng?