OFFSET
1,2
COMMENTS
Conjecture: a(n)/n->1.83..., and if m denotes this number, then -1 < m - a(n)/n < 1 for n >= 1.
The constant 1.83... in the conjecture, psi, is the real zero of the polynomial x^3-x^2-x-1, and the conjectured inequality follows from the more precise statement -2 <= floor(psi*n) - a(n) <= 2; this can be proved with the Walnut theorem-prover. - Jeffrey Shallit, Oct 03 2025
LINKS
Clark Kimberling, Table of n, a(n) for n = 1..10000
Lubomíra Dvořáková, Edita Pelantová, and Jeffrey Shallit, On a sequence of Kimberling and its relationship to the Tribonacci word, arXiv:2510.11318 [math.CO], 2025.
MATHEMATICA
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Jun 11 2017
STATUS
approved
