Three short proofs of Mathar's 2014 conjecture for OEIS A002627
Abstract
For the OEIS sequence A002627, defined by the inhomogeneous first-order recurrence with , R.~J.~Mathar recorded in February 2014 the conjectured second-order homogeneous recurrence which has remained marked as a conjecture on the OEIS for over a decade. We give three short proofs. The first is two lines: subtract the defining recurrence at adjacent indices and the constant cancels (we call this homogenisation). The second reads off the same relation from the exponential generating function . The third is a Pascal-rule telescoping on the binomial-sum form . All three derivations are elementary, requiring nothing beyond undergraduate techniques. We remark that the same homogenisation trick clears an entire class of ``Conjecture: \dots'' entries on the OEIS, namely sequences satisfying with simple .
Cite
@article{arxiv.2605.15500,
title = {Three short proofs of Mathar's 2014 conjecture for OEIS A002627},
author = {Tong Niu},
journal= {arXiv preprint arXiv:2605.15500},
year = {2026}
}
Comments
11 pages