cot x - x = 4 pi