[seqfan] Re: A001370

[Charles Greathouse]

I don't think either has been proved, but 9/2*log(2)/log(10) is correct and
e/2 is incorrect. :)

Charles Greathouse
Analyst/Programmer
Case Western Reserve University


On Sat, Apr 20, 2013 at 6:00 PM, Hans Havermann <gladhobo at teksavvy.com>wrote:

> http://oeis.org/A001370
>
> It has been pointed out on MathFun that the comment "a(n) ~ n*e/2 where e
> is the base of the natural logarithm 2,7182…", while not technically
> incorrect, should in fact state: a(n) ~ n*9*log10(2)/2. It just happens
> that 9*log10(2) is coincidentally close to e.
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/
>