lim cot(x) as x->pi/4