asymptotic formula for A006154

Ralf Stephan ralf at ark.in-berlin.de
Sat Feb 17 10:39:33 CET 2007


> 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?


ralf






More information about the SeqFan mailing list