A Proof of the Conjectured Formula for OEIS A091468

This note proves the formula a(n) = 3*A003239(n) - 2 conjectured in OEIS A091468. The proof extracts the main diagonal of the bivariate generating function for OEIS A091467 and evaluates it through the Euler differential operator and a constant-term identity.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-08-24
DOI
https://doi.org/10.5281/zenodo.22070844
Primary Topic
Mathematical functions and polynomials
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

A Proof of the Conjectured Formula for OEIS A091468

Xu Yang
Zenodo (CERN European Organization for Nuclear Research)
Mathematical functions and polynomials
preprint

A Proof of the Conjectured Formula for OEIS A091468

Xu Yang
preprint en

Abstract

This note proves the formula a(n) = 3*A003239(n) - 2 conjectured in OEIS A091468. The proof extracts the main diagonal of the bivariate generating function for OEIS A091467 and evaluates it through the Euler differential operator and a constant-term identity.

Zenodo (CERN European Organization for Nuclear Research)
Mathematical functions and polynomials
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.