lim arcoth(x) as x-> infinity