Metadata
bibkey: hanna2024a378576
authors: Paul D. Hanna
year: 2024
title: "OEIS A378576, g.f. satisfying A(x) = x + x*A^6(x) (6-fold compositional iterate)"
doi: null
url: https://oeis.org/A378576
claim: "G.f. A(x) satisfies A(x) = x + x*A(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