How do you solve cot x >0 for x?