asymptotic formula for A006154

Max Alekseyev maxale at
Sun Feb 18 19:47:29 CET 2007

On 2/17/07, Ralf Stephan <ralf at> wrote:
> > So the entry would be
> >
> > %F A006154 a(n) ~ sqrt(2)/2*(n-1)!/log(1+sqrt(2))^n.
> Does someone have or know of a proof?

It should easy follow from the expression of Laurent series
coefficients as contour integrals, and Cauchy integral formula:

In particular, log(1+sqrt(2)) is a pole for function 1/(1-sinh(x)).


More information about the SeqFan mailing list