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

Gọi a là số thực lớn nhất để bất phương trình x2−x+2+alnx2−x+1≥0 nghiệm đúng với mọi x∈ℝ. Mệnh đề nào sau đây đúng?