limit as x -> 0 of x * cot x . (Resp.: 1.)