e73.html

Решение

> $with(RealDomain); -1; solve({`>`(x, RealDomain:-`^`(2, -1)), `<=`(`*`(log[`+`(`*`(2, `*`(x)), `-`(1))](log[2](`+`(RealDomain:-`^`(x, 2), `-`(`*`(2, `*`(x)))))), `*`(RealDomain:-`^`(log[`+`(`*`(2, `*`(...$

${`<=`(x, `+`(1, `*`(`^`(3, `/`(1, 2))))), `<`(`+`(1, `*`(`^`(2, `/`(1, 2)))), x)}$ (36.2.1)