OFFSET
1,1
COMMENTS
This is one of four sequences that partition the positive integers.
Given t is the tetranacci constant, then the following sequences are disjoint:
. A184823(n) = n + [n/t] + [n/t^2] + [n/t^3],
. A184824(n) = n + [n*t] + [n/t] + [n/t^2],
. A184825(n) = n + [n*t] + [n*t^2] + [n/t],
. A184826(n) = n + [n*t] + [n*t^2] + [n*t^3], where []=floor.
This is a special case of Clark Kimberling's results given in A184812.
FORMULA
Limit a(n)/n = t^4 = 13.804904353297009893939920...
a(n) = n + floor(n*q/p) + floor(n*r/p) + floor(n*s/p), where p=t, q=t^2, r=t^3, s=t^4, and t is the tetranacci constant.
EXAMPLE
Let t be the tetranacci constant, then t^4 = 1 + t + t^2 + t^3 and:
t = 1.92756197548..., t^2 = 3.71549516932..., t^3 = 7.16184720848..., t^4 = 13.8049043532...
MATHEMATICA
Module[{t=x/.FindRoot[x^4-x^3-x^2-x-1==0, {x, 2}, WorkingPrecision->200], t2, t3}, t2=t^2; t3=t^3; Table[n+Floor[t*n]+Floor[t2*n]+Floor[t3*n], {n, 100}]] (* Harvey P. Dale, Oct 18 2012 *)
PROG
(PARI) {a(n)=local(t=real(polroots(1+x+x^2+x^3-x^4)[2])); n+floor(n*t)+floor(n*t^2)+floor(n*t^3)}
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Jan 23 2011
STATUS
approved