[seqfan] Re: A339950, A189378

[Jeffrey Shallit]

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?
>