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

Abstract

Gerhold 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 pages

References in corpus (1)

• On the non-holonomic character of logarithms, powers, and the n-th prime function