limit cosh^(-1)(1/x) as x->0