Biết rằng a là số thực dương sao cho bất đẳng thức 3^x+a^x> hoặc bằng 6^x+9^x

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?