Πεψενθε 

 

 

 

 

 

 

 

`and`(`<`(0, x), `<`(x, 1)) 

> solve(`<=`(`/`(`*`(`+`(log[4](`+`(2, `-`(x))), `-`(log[14](`+`(2, `-`(x)))))), `*`(`+`(log[14](x), `-`(log[49](x))))), log[4](49)))
 

Warning, solutions may have been lost
 

>