Решение 

 

 

 


 


 


 


 

 

или 


 


 

 

 

 

 

Объединим решения: 

 

> solve(`>=`(`/`(`*`(log[2](`+`(`*`(3, `*`(`^`(2, `+`(x, `-`(1))))), `-`(1)))), `*`(x)), 1))
 

RealRange(Open(`/`(`*`(`+`(ln(2), `-`(ln(3)))), `*`(ln(2)))), Open(0)), RealRange(1, infinity) (55.2.1)