[seqfan] Re: A001370

Charles Greathouse charles.greathouse at case.edu
Sun Apr 21 07:43:13 CEST 2013

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

Charles Greathouse
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/

More information about the SeqFan mailing list