\sin x - \cos x \geq 0