Lim x cot 1 x