lim /x→o^+ lnx/cotx