[go: up one dir, main page]

login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A270751
(r,1)-greedy sequence, where r(k) = 1/(k*tau) and tau = golden ratio.
1
1, 1, 3, 37, 1204, 21029921, 425355555167420, 439183524292095499600664584581, 240317442633783387248198509182959563857071128274317237128901
OFFSET
1,3
COMMENTS
Let x > 0, and let r = (r(k)) be a sequence of positive irrational numbers. Let a(1) be the least positive integer m such that r(1)/m < x, and inductively let a(n) be the least positive integer m such that r(1)/a(1) + ... + r(n-1)/a(n-1) + r(n)/m < x. The sequence (a(n)) is the (r,x)-greedy sequence. We are interested in choices of r and x for which the series r(1)/a(1) + ... + r(n)/a(n) + ... converges to x. See A270744 for a guide to related sequences.
FORMULA
a(n) = ceiling(r(n)/s(n)), where s(n) = 1 - r(1)/a(1) - r(2)/a(2) - ... - r(n-1)/a(n-1).
r(1)/a(1) + ... + r(n)/a(n) + ... = 1
EXAMPLE
a(1) = ceiling(r(1)) = ceiling(1/tau) = ceiling(0.618...) = 1;
a(2) = ceiling(r(2)/(1 - r(1)/1) = 1;
a(3) = ceiling(r(3)/(1 - r(1)/1 - r(2)/2) = 3.
The first 3 terms of the series r(1)/a(1) + ... + r(n)/a(n) + ... are
0.618..., 0.927..., 0.995...
MATHEMATICA
$MaxExtraPrecision = Infinity; z = 16;
r[k_] := N[1/(k*GoldenRatio), 1000]; f[x_, 0] = x;
n[x_, k_] := n[x, k] = Ceiling[r[k]/f[x, k - 1]]
f[x_, k_] := f[x, k] = f[x, k - 1] - r[k]/n[x, k]
x = 1; Table[n[x, k], {k, 1, z}]
N[Sum[r[k]/n[x, k], {k, 1, 18}], 200]
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Apr 09 2016
STATUS
approved