[seqfan] Re: A339950, A189378

Jeffrey Shallit shallit at uwaterloo.ca
Tue Apr 6 19:10:45 CEST 2021

Yes, I proved it this morning with the automatic theorem-prover "Walnut".

On 2021-04-06 4:19 a.m., Don Reble via SeqFan wrote:
> Seqfans:
>    I computed more of A339950 (1,7,14,20,...,391,397,404).
>    So far, A339950(n+1) = A189378(n)+1.
>    Does anyone see how to (dis)prove that?

More information about the SeqFan mailing list