Non-holonomicity of the sequence $\log 1, \log 2, \log 3, ...$

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/74111Gerhold conjectured and proved conditionally that (log n: n=1,2,...) is not a holonomic sequence. Flajolet, Gerhold and Salvy gave a proof using an analytic machinery. We give a simple proof.3 pagesCombinatoricsClassical Analysis and ODEs05A19; 26A06Non-holonomicity of the sequence $\log 1, \log 2, \log 3, ...$text