lim log(x)/cot(x) as x goes to 0