Xét các số thực a, b thỏa mãn a lớn hơn hoặc bằng b > 1

Câu hỏi :

Xét các số thực a, b thỏa mãn $a \ge b > 1$. Biết rằng biểu thức $P = \frac{1}{{\log }_{ab}a} + \sqrt{{\log }_a\frac{a}{b}}$ đạt giá trị lớn nhất khi b = a^k. Khẳng định nào sau đây đúng?