[seqfan] Re: Proof of the A186080 conjecture
maximilian.hasler at gmail.com
Mon Mar 7 12:15:49 CET 2011
> I hope you realize that Gustavus Simmons verified it only for k^4 < 2.8 * 10^14.
> In other words, for k < 4091.
I think the largest term of A56810 can be supposed to be the current
limit of exhaustive search.
Anyway, the conjecture is about the form of the terms of that
sequence, not the one mentioned in the title...
More information about the SeqFan