lim ((1-cosh(x))/x)^x as x approaches 0+