lim x to 0 (cos x - cot x)/x