limit(n to inf) (ln(n+1)-ln(n))/(tan^(-1)(2/n))