cos(x)-cot(x)>0