bibkey: hanna2024a378576 authors: Paul D. Hanna year: 2024 title: “OEIS A378576, g.f. satisfying A(x) = x + xA^6(x) (6-fold compositional iterate)” doi: null url: https://oeis.org/A378576 claim: “G.f. A(x) satisfies A(x) = x + xA(A(A(A(A(A(x)))))), so that this sequence shifts left under the 6th self-COMPOSE. Conjecture: a(n) == 1 (mod 5) for n >= 1.” strata_touched:

• D5/S1/Recurrence/Parity/ShiftedIterateFixedPointCongruence license: citation-only triage: anchor

OEIS A378576

Paul D. Hanna’s entry, authored December 1, 2024, defines the generating series by the six-fold compositional equation quoted above and conjectures that every positive-index coefficient is one modulo five. Here A^6 denotes composition, not multiplication. The Lean module constructs the integer series, proves its defining equation and uniqueness, and proves the conjecture as the r=6, m=5 instance of a general shifted-iterate congruence.

Verified locator

• URL: https://oeis.org/A378576