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