lim(x->无穷)[ln(1+1/x)]/[arc cotx]用洛必达法则求