OFFSET
0,1
COMMENTS
Suppose that r = (r(n)) is a sequence satisfying (i) 1 = r(1) > r(2) > r(3) > ... and (ii) r(n) -> 0. For x in (0,1], let n(1) be the index n such that r(n+1) , x <= r(n), and let L(1) = r(n(1))-r(n(1)+1). Let n(2) be the index n such that r(n(1)+1) < x <= r(n(1)+1) + L(1)r(n), and let L(2) = (r(n(2))-r(r(n)+1)L(1). Continue inductively to obtain the sequence (n(1), n(2), n(3), ... ), the r-nested interval sequence of x. Taking r = (1/F(n+1)) gives the Fibonacci-nested interval sequence of x. Here, F = A000045, the Fibonacci numbers.)
Conversely, given a sequence s= (n(1),n(2),n(3),...) of positive integers, the number x having satisfying NI(x) = s, is the sum of left-endpoints of nested intervals (r(n(k)+1), r(n(k))]; i.e., x = sum{L(k)r(n(k+1)+1), k >=1}, where L(0) = 1.
FORMULA
x = sum{1/(P(k)F(k)), k >= 1}, where P(k) = F(1)*F(2)***F(k+2). F = A000045 (Fibonacci numbers).
EXAMPLE
x = 0.68478826752267479338245582003...
MATHEMATICA
f[n_] := Fibonacci[n]; p[1] = f[3]; p[n_] := p[n - 1] f[n + 2]
Table[p[i]*f[i], {i, 1, 10}]
s = Sum[1/(p[i] f[i]), {i, 1, 200}]; RealDigits[N[s, 100]][[1]]
CROSSREFS
KEYWORD
AUTHOR
Clark Kimberling, Mar 05 2016
STATUS
approved
