lim of n to infty of ln(1/(2cosh(n))) +n*tanh(n)