Задача

№ 12189

Решите неравенство: \[ \sqrt{\log_2^2x+3\log_2x-\sqrt{\log_2^2x+3\log_2x-4}}\geqslant\log_2x+1. \] В ответ запишите сумму всех целых значений функции $f(x_0)=16x_0$, где $x_0$ — решение неравенства.
Ответ:
Решение: