Biết rằng a là số thực dương sao cho bất đẳng thức

Biết rằng a là số thực dương sao cho bất đẳng thức 3x+ax⩾6x+9x đúng với mọi số thực x. Mệnh đề nào sau đây đúng?