Easy to prove, but probably still worth a comment in the sequence entry. On Mon, Mar 27, 2023 at 3:17 PM zak seidov via SeqFan <seqfan at list.seqfan.eu> wrote: > All terms end by 3 ( = congruent to 3 mod 10). > > -- > Seqfan Mailing list - http://list.seqfan.eu/ >