/ 2\ _________ | ___ | / log(-x) log\\/ x / 2* / ------- > ----------- - 3 \/ log(2) log(2)
2*sqrt(log(-x)/log(2)) > log((sqrt(x))^2)/log(2) - 3