{"id":"arxiv/2605.12839","url":"https://arxiv.org/abs/2605.12839","tags":["math.CO"],"score":0,"title":"A short proof of Mathar's 2021 recurrence conjecture for the Lehmer-Comtet diagonal A045406","domain":"math.CO","source":"arxiv","authors":["Tong Niu"],"reviews":0,"subject":"math.CO","summary":"For OEIS sequence A045406, the column-2 diagonal of the Lehmer-Comtet triangle A008296, R. J. Mathar contributed in September 2021 the conjectured order-2 P-recursive recurrence \\[ a(n) + (2n-7)\\,a(n-1) + (n-4)^{2}\\,a(n-2) \\;=\\; 0,\\qquad n \\ge 5. \\] We give a short proof. Detlefs's harmonic-number closed form $a(n) = (-1)^n (2 H_{n-3} - 3)(n-3)!$ for $n \\ge 3$ collapses the left-hand side, after factoring out $(-1)^n (n-5)! (n-4)$, to a polynomial identity in $n$ with coefficient $H_{n-4}$. The $H_{n-4}$-coefficient simplifies to $(n-3) - (2n-7) + (n-4) = 0$ (using $H_{n-3} = H_{n-4} +…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-13","reactions":{}}