lim [x->0] cotx/x