54 `<=`(`*`(log[x](`+`(x, `-`(2))), `*`(log[x](`+`(x, 2)))), 0). 

 

 

 

 

(2;3]