((log(x))/log(x+1/2))<=((log(x))/log(1/2))