44 `>=`(`*`(`+`(log[2](`+`(x, 4.2)), 2), `*`(`+`(log[2](`+`(x, 4.2)), `-`(3)))), 0).