/ 4 2 \ / 2\ log\x - 4*x + 4/ log\2 - x / ------------------ + 3 >= ----------- log(3) log(3)
log(x^4 - 4*x^2 + 4)/log(3) + 3 >= log(2 - x^2)/log(3)