Доброго времени суток, прошу помочь с решением неравенства, зашел в тупик.
Произвел замену 1+lgx=k, получил запись log1/2(5^k-2^-k)≥k+2, и с этим беда.

Огромное Вам спасибо, обязательно проверю в свободное время!

Преобразования верны

Пойдём по Вашему пути. Сделаем замену 1+lgx=tПерепроверьте, пожалуйста. Могла ошибиться при преобразованиях.