14 Nov
2006
14 Nov
'06
7 p.m.
On Wednesday 15 November 2006 00:31, Richard Guy wrote:
Is the `obviously' comment at A072449 correct? R.
Yes; it refers to the limit of (log a_n) / 2^n, whose existence guarantees that of the limit that's actually of interest. It could probably have been worded more clearly. -- g