Xét các số thực a, b thỏa mãn

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?