\cot x \geq 1