Harvey P. Dale
hpd1 at nyu.edu
Fri Jul 13 23:18:12 CEST 2012
There appear to be two problems with the Mma program for
1. It would only provide a decimal number rather than the terms of
the sequence, so it needs to be wrapped inside RealDigits, and
2. It fails even to provide a decimal number because it quickly
exhausts the default value of $MaxExtraPrecision.
I tried to deal with the latter by increasing $MaxExtraPrecision to
100000, but had to abort the program after it ran a LONG time.
More information about the SeqFan