sin x \leq 0