sin(pi*x/12)>cos(pi*x/12), log(8,x-2/3)<1/3