lim (ln(1+2/x))/arccotx (x→∞)