Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

bibkey: hanna2017a292394 authors: Paul D. Hanna year: 2017 title: “OEIS A292394: vanishing-diagonal index divisibility” doi: null url: https://oeis.org/A292394 claim: “G.f. A(x) satisfies: [x^n] A( x/A(x)^(n^2) ) = 0 for n>1. a(n) is divisible by n^2 for n>=1 (conjecture): A292395(n) = a(n)/n^2.” strata_touched:

  • D5/S1/Recurrence/Residue/DiagonalVanishingIndexDivisibility license: citation-only triage: anchor

A292394: vanishing-diagonal index divisibility

Quoted directly from this entry’s seat-local oeis-A292394.src (seats/opB-diagidx2/oeis-A292394.src in the supplied workspace):

NAME: G.f. A(x) satisfies: [x^n] A( x/A(x)^(n^2) ) = 0 for n>1. COMMENT: a(n) is divisible by n^2 for n>=1 (conjecture): A292395(n) = a(n)/n^2. AUTHOR: Paul D. Hanna, Sep 15 2017

The formal instance retains the printed vanishing range n>1 and uses the normalization a(0)=a(1)=1 from this entry’s DATA.

The named theorem is hanna_conjecture_a292394 in D5/S1/Recurrence/Residue/DiagonalVanishingIndexDivisibility.lean. The entry-specific resolution dossier is Problems/oeis-a292394-diagonal-index-divisibility.md.

ASSUMED-UNVERIFIED: the local source was read without network access; live OEIS text, revision history and publication priority were not checked here.

Verified locator

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