This note gives a direct, checkable derivation of Mathar’s recurrence for OEIS A026124 and records the finite boundary terms separately.
What the record establishes
The public manuscript states the range in which the recurrence applies and evaluates the remaining boundary contributions exactly. Its value is a reproducible derivation of a relation used to compute the sequence.
Public materials
View the public record and manuscript on Zenodo ↗
Current external status
Richard J. Mathar replied that this recurrence and the A026771 recurrence follow standard, established methods, and pointed to two related papers. The record is therefore presented as an explicit derivation and certificate—not as a new hard-problem solution or a claim of priority.