Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

bibkey: hanna2018a300734 authors: Paul D. Hanna year: 2018 title: “OEIS A300734: vanishing-diagonal index divisibility” doi: null url: https://oeis.org/A300734 claim: “G.f. A(x) satisfies: [x^n] A( x/A(x)^(2*n^2) ) = 0 for n>1. Conjecture: n^2 divides a(n) for n>=1.” strata_touched:

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

A300734: vanishing-diagonal index divisibility

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

NAME: G.f. A(x) satisfies: [x^n] A( x/A(x)^(2*n^2) ) = 0 for n>1. COMMENT: Conjecture: n^2 divides a(n) for n>=1. AUTHOR: Paul D. Hanna, Mar 11 2018

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_a300734 in D5/S1/Recurrence/Residue/DiagonalVanishingIndexDivisibility.lean. The entry-specific resolution dossier is Problems/oeis-a300734-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/A300734