solve 2x^3+3x\log x \le 3x^3 in reals