SMO 2020 - Senior - Vòng 1 Câu hỏi 19

Cho các số thực dương $a,b$ với $a>b$. Giả sử tồn tại số thực $x$ sao cho $(\log_2 ax)(\log_2 bx)+25=0$. Tìm giá trị nhỏ nhất có thể của $\dfrac ab$.