A130234 -id:A130234 - cp's OEIS frontend

A130236 Partial sums of the 'upper' Fibonacci Inverse A130234.

0, 1, 4, 8, 13, 18, 24, 30, 36, 43, 50, 57, 64, 71, 79, 87, 95, 103, 111, 119, 127, 135, 144, 153, 162, 171, 180, 189, 198, 207, 216, 225, 234, 243, 252, 262, 272, 282, 292, 302, 312, 322, 332, 342, 352, 362, 372, 382, 392, 402, 412, 422, 432, 442, 452, 462, 473

Offset: 0

Hieronymus Fischer, May 17 2007

nonn

G. C. Greubel, Table of n, a(n) for n = 0..5000

Cf. A000045, A130233, A130234, A130235, A130244, A130246, A130244, A130246, A130248, A130252, A130258, A130262.

m:=120;
f:= func< x | x*(&+[x^Fibonacci(j): j in [0..Floor(3*Log(3*m+1))]])/(1-x)^2 >;
R:=PowerSeriesRing(Rationals(), m+1);
[0] cat Coefficients(R!( f(x) )); // G. C. Greubel, Mar 18 2023

b[n_]:= For[i=0, True, i++, If[Fibonacci[i] >= n, Return[i]]];
b/@ Range[0, 56]//Accumulate (* Jean-François Alcover, Apr 13 2020 *)

m=120
def f(x): return x*sum( x^fibonacci(j) for j in range(1+int(3*log(3*m+1))))/(1-x)^2
def A130236_list(prec):
    P. = PowerSeriesRing(ZZ, prec)
    return P( f(x) ).list()
A130236_list(m) # G. C. Greubel, Mar 18 2023

a(n) = Sum_{k=0..n} A130234(k).
a(n) = n*A130234(n) - Fibonacci(A130234(n)+1) + 1.
G.f.: (x/(1-x)^2) * Sum_{k>=0} x^Fibonacci(k).

A014417 Representation of n in base of Fibonacci numbers (the Zeckendorf representation of n). Also, binary words starting with 1 not containing 11, with the word 0 added.

Original entry on oeis.org

0, 1, 10, 100, 101, 1000, 1001, 1010, 10000, 10001, 10010, 10100, 10101, 100000, 100001, 100010, 100100, 100101, 101000, 101001, 101010, 1000000, 1000001, 1000010, 1000100, 1000101, 1001000, 1001001, 1001010, 1010000, 1010001, 1010010, 1010100, 1010101

Offset: 0

Olivier Gérard

Old name was: Representation of n in base of Fibonacci numbers (the Zeckendorf representation of n). Also, binary vectors not containing 11.
For n > 0, write n = Sum_{i >= 2} eps(i) Fib_i where eps(i) = 0 or 1 and no 2 consecutive eps(i) can be 1 (see A035517); then a(n) is obtained by writing the eps(i) in reverse order.
"One of the most important properties of the Fibonacci numbers is the special way in which they can be used to represent integers. Let's write j >> k <==> j >= k+2. Then every positive integer has a unique representation of the form n = F_k1 + F_k2 + ... + F_kr, where k1 >> k2 >> ... >> kr >> 0. (This is 'Zeckendorf's theorem.') ... We can always find such a representation by using a "greedy" approach, choosing F_k1 to be the largest Fibonacci number =< n, then choosing F_k2 to be the largest that is =< n - F_k1 and so on. Fibonacci representation needs a few more bits because adjacent 1's are not permitted; but the two representations are analogous." [Concrete Math.]
Since the binary representation of n in base of Fibonacci numbers allows only the successive bit pairs 00, 01, 10 and leaves 11 unused, we can use a ternary representation using all trits 0, 1, 2 where 00 --> 0, 01 --> 1 and 10 --> 2 (e.g. binary 1001010 as ternary 1022). - Daniel Forgues, Nov 30 2009
The same sequence also arises when considering the NegaFibonacci representations of the integers, as follows. Take the NegaFibonacci representations of n = 0, 1, 2, ... (A215022) and of n = -1, -2, -3, ... (A215023), sort the union of these two lists into increasing binary order, and we get A014417. Likewise the corresponding list of decimal representations, A003714, is the union of A215024 and A215025 sorted into increasing order.  - N. J. A. Sloane, Aug 10 2012
Also, numbers, written in binary, such that no adjacent bits are equal to 1: A one-dimensional analog of the matrices considered in A228277/A228285, A228390, A228476, A228506 etc. - M. F. Hasler, Apr 27 2014
The sequence of final bits, starting with a(1), is the complement of the Fibonacci word A005614. - N. J. A. Sloane, Oct 03 2018
This representation is named after the Belgian Army doctor and mathematician Edouard Zeckendorf (1901-1983). - Amiram Eldar, Jun 11 2021

			The Zeckendorf expansions of 1, 2, ... are 1 = 1 = Fib_2 -> 1, 2 = 2 = Fib_3 -> 10, 3 = Fib_4 -> 100, 4 = 3+1 = Fib_4 + Fib_2 -> 101, 5 = 5 = Fib_5 -> 1000, 6 = 1+5 = Fib_2 + Fib_5 -> 1001, etc.

Ronald L. Graham, Donald E. Knuth and Oren Patashnik, Concrete Mathematics. Addison-Wesley, Reading, MA, 1990.
Donald E. Knuth, The Art of Computer Programming, Vol. 4A, Section 7.1.3, p. 169.
Edouard Zeckendorf, Représentation des nombres naturels par une somme des nombres de Fibonacci ou de nombres de Lucas, Bull. Soc. Roy. Sci. Liège 41, 179-182, 1972.

T. D. Noe and Harry J. Smith, Table of n, a(n) for n = 0..10000
Paul Dalenberg and Tom Edgar, Consecutive factorial base Niven numbers, Fibonacci Quart., Vol. 56, No. 2 (2018), pp. 163-166.
Eric Duchene, Aviezri S. Fraenkel, Vladimir Gurvich, Nhan Bao Ho, Clark Kimberling, and Urban Larsson, Wythoff Wisdom, 43 pages, no date, apparently unpublished. See Table 2.
Eric Duchene, Aviezri S. Fraenkel, Vladimir Gurvich, Nhan Bao Ho, Clark Kimberling, and Urban Larsson, Wythoff Wisdom, unpublished, no date. [Cached copy, with permission]
Donald E. Knuth, Fibonacci multiplication, Appl. Math. Lett., Vol. 1, No. 1 (1988), pp. 57-60.
Julien Leroy, Michel Rigo and Manon Stipulanti, Counting the number of non-zero coefficients in rows of generalized Pascal triangles, Discrete Mathematics, Vol. 340, No. 5 (2017), pp. 862-881.
Casey Mongoven, Zeckendorf Representations no. 17 (a musical composition with A014417).
Wikipedia, Zeckendorf's theorem.

Cf. A000045, A003794, A007895, A035517, A130234, A215022, A215023, A215024, A215025.
a(n) = A003714(n) converted to binary.
Cf. also A005614, A189920, A104324, A213911.
See A104326 for dual Zeckendorf representation of n.

a014417 0 = 0
a014417 n = foldl (\v z -> v * 10 + z) 0 $ a189920_row n
-- Reinhard Zumkeller, Mar 10 2013

A014417 := proc(n)
    local nshi,Z,i ;
    if n <= 1 then
        return n;
    end if;
    nshi := n ;
    Z := [] ;
    for i from A130234(n) to 2 by -1 do
        if nshi >= A000045(i) and nshi > 0 then
            Z := [1,op(Z)] ;
            nshi := nshi-A000045(i) ;
        else
            Z := [0,op(Z)] ;
        end if;
    end do:
    add( op(i,Z)*10^(i-1),i=1..nops(Z)) ;
end proc: # R. J. Mathar, Jan 31 2015

fb[n_Integer] := Block[{k = Ceiling[Log[GoldenRatio, n * Sqrt[5]]], t = n, fr = {}}, While[k > 1, If[t >= Fibonacci[k], AppendTo[fr, 1]; t = t - Fibonacci[k], AppendTo[fr, 0]]; k-- ]; FromDigits[fr]]; Table[ fb[n], {n, 0, 30}] (* Robert G. Wilson v, May 15 2004 *)
r = Map[Fibonacci, Range[2, 12]]; Table[Total[FromDigits@ PadRight[{1}, Flatten@ #] &@ Reverse@ Position[r, #] & /@ Abs@ Differences@ NestWhileList[Function[k, k - SelectFirst[Reverse@ r, # < k &]], n + 1, # > 1 &]], {n, 0, 33}] (* Michael De Vlieger, Mar 27 2016, Version 10 *)
FromDigits/@Select[Tuples[{0,1},7],SequenceCount[#,{1,1}]==0&] (* Requires Mathematica version 10 or later *) (* Harvey P. Dale, Aug 14 2019 *)

Zeckendorf(n)=my(k=0,v,m); while(fibonacci(k)<=n,k=k+1); m=k-1; v=vector(m-1); v[1]=1; n=n-fibonacci(k-1); while(n>0,k=0; while(fibonacci(k)<=n,k=k+1); v[m-k+2]=1; n=n-fibonacci(k-1)); v \\ Ralf Stephan

Zeckendorf(n)= { local(k); a=0; while(n>0, k=0; while(fibonacci(k)<=n, k=k+1); a=a+10^(k-3); n=n-fibonacci(k-1); ); a }
{ for (n=0, 10000, Zeckendorf(n); print(n," ",a); write("b014417.txt", n, " ", a) ) } \\ Harry J. Smith, Jan 17 2009

from sympy import fibonacci
def a(n):
    k=0
    x=0
    while n>0:
        k=0
        while fibonacci(k)<=n: k+=1
        x+=10**(k - 3)
        n-=fibonacci(k - 1)
    return x
print([a(n) for n in range(101)]) # Indranil Ghosh, Jun 07 2017, after PARI code by Harry J. Smith

Comment layout fixed by Daniel Forgues, Dec 07 2009
Typo corrected by Daniel Forgues, Mar 25 2010
Definition expanded and Duchene et al. reference added by N. J. A. Sloane, Aug 07 2018
Name corrected by Michel Dekking, Nov 30 2020

A010056 Characteristic function of Fibonacci numbers: a(n) = 1 if n is a Fibonacci number, otherwise 0.

Original entry on oeis.org

1, 1, 1, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0

Offset: 0

N. J. A. Sloane

Understood as a binary number, Sum_{k>=0} a(k)/2^k, the resulting decimal expansion is 1.910278797207865891... = Fibonacci_binary+0.5 (see A084119) or Fibonacci_binary_constant-0.5 (see A124091), respectively. - Hieronymus Fischer, May 14 2007
a(n)=1 if and only if there is an integer m such that x=n is a root of p(x)=25*x^4-10*m^2*x^2+m^4-16. Also a(n)=1 iff floor(s)<>floor(c) or ceiling(s)<>ceiling(c) where s=arcsinh(sqrt(5)*n/2)/log(phi), c=arccosh(sqrt(5)*n/2)/log(phi) and phi=(1+sqrt(5))/2. - Hieronymus Fischer, May 17 2007
a(A000045(n)) = 1; a(A001690(n)) = 0. - Reinhard Zumkeller, Oct 10 2013
Image, under the map sending a,b,c -> 1, d,e,f -> 0, of the fixed point, starting with a, of the morphism sending a -> ab, b -> c, c -> cd, d -> d, e -> ef, f -> e. - Jeffrey Shallit, May 14 2016

Reinhard Zumkeller, Table of n, a(n) for n = 0..10000
Jean-Paul Allouche, Julien Cassaigne, Jeffrey Shallit, and Luca Q. Zamboni, A Taxonomy of Morphic Sequences, arXiv preprint arXiv:1711.10807 [cs.FL], Nov 29 2017.
D. Bailey et al., On the binary expansions of algebraic numbers, Journal de Théorie des Nombres de Bordeaux (2004), Volume: 16, Issue: 3, page 487-518.
Wikipedia, Fibonacci number
Index entries for characteristic functions

Cf. A000045, A001690, A072649, A104162, A108852, A124091, A130233, A130234.
Decimal expansion of Fibonacci binary is in A084119.
Sequences mentioned in the Allouche et al. "Taxonomy" paper, listed by example number: 1: A003849, 2: A010060, 3: A010056, 4: A020985 and A020987, 5: A191818, 6: A316340 and A273129, 18: A316341, 19: A030302, 20: A063438, 21: A316342, 22: A316343, 23: A003849 minus its first term, 24: A316344, 25: A316345 and A316824, 26: A020985 and A020987, 27: A316825, 28: A159689, 29: A049320, 30: A003849, 31: A316826, 32: A316827, 33: A316828, 34: A316344, 35: A043529, 36: A316829, 37: A010060.
Cf. A079586 (Dirich. g.f. at s=1).

import Data.List (genericIndex)
a010056 = genericIndex a010056_list
a010056_list = 1 : 1 : ch [2..] (drop 3 a000045_list) where
   ch (x:xs) fs'@(f:fs) = if x == f then 1 : ch xs fs else 0 : ch xs fs'
-- Reinhard Zumkeller, Oct 10 2013

a:= n-> (t-> `if`(issqr(t+4) or issqr(t-4), 1, 0))(5*n^2):
seq(a(n), n=0..144);  # Alois P. Heinz, Dec 06 2020

Join[{1},With[{fibs=Fibonacci[Range[15]]},If[MemberQ[fibs,#],1,0]& /@Range[100]]]  (* Harvey P. Dale, May 02 2011 *)

a(n)=my(k=n^2);k+=(k+1)<<2; issquare(k) || (n>0 && issquare(k-8)) \\ Charles R Greathouse IV, Jul 30 2012

from sympy.ntheory.primetest import is_square
def A010056(n): return int(is_square(m:=5*n**2-4) or is_square(m+8)) # Chai Wah Wu, Mar 30 2023

G.f.: (Sum_{k>=0} x^A000045(k)) - x. - Hieronymus Fischer, May 17 2007

A130233 a(n) is the maximal k such that Fibonacci(k) <= n (the "lower" Fibonacci Inverse).

Original entry on oeis.org

0, 2, 3, 4, 4, 5, 5, 5, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10

Offset: 0

Hieronymus Fischer, May 17 2007

Inverse of the Fibonacci sequence (A000045), nearly, since a(Fibonacci(n)) = n except for n = 1 (see A130234 for another version). a(n) + 1 is equal to the partial sum of the Fibonacci indicator sequence (see A104162).

			a(10) = 6, since Fibonacci(6) = 8 <= 10 but Fibonacci(7) = 13 > 10.

Charles R Greathouse IV, Table of n, a(n) for n = 0..10000

Cf. A130235 (partial sums), A104162 (first differences).
Other related sequences: A000045, A130234, A130237, A130239, A130255, A130259, A108852. Lucas inverse: A130241.
Cf. A001622 (golden ratio), A002390 (its log).

fibLLog[0] := 0; fibLLog[1] := 2; fibLLog[n_Integer] := fibLLog[n] = If[n < Fibonacci[fibLLog[n - 1] + 1], fibLLog[n - 1], fibLLog[n - 1] + 1]; Table[fibLLog[n], {n, 0, 88}] (* Alonso del Arte, Sep 01 2013 *)

a(n)=log(sqrt(5)*n+1.5)\log((1+sqrt(5))/2) \\ Charles R Greathouse IV, Mar 21 2012

a(n) = floor(log_phi((sqrt(5)*n + sqrt(5*n^2+4))/2)) where phi = (1+sqrt(5))/2 = A001622.
a(n) = floor(arcsinh(sqrt(5)*n/2) / log(phi)), with log(phi) = A002390.
a(n) = A130234(n+1) - 1.
G.f.: g(x) = 1/(1-x) * Sum_{k>=1} x^Fibonacci(k).
a(n) = floor(log_phi(sqrt(5)*n+1)), n >= 0, where phi is the golden ratio. - Hieronymus Fischer, Jul 02 2007

A104162 Indicator sequence for the Fibonacci numbers.

Original entry on oeis.org

1, 2, 1, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1

Offset: 0

Paul Barry, Apr 01 2005

Without multiplicities, this is A010056.

The number of nonnegative integer solutions of x^4 - 10*n^2*x^2 + 25*n^4 - 16 = 0. - Hieronymus Fischer, May 17 2007

			a(1)=2 since F(1)=F(2)=1.

Cf. A000045.
Partial sums are in A108852.
See also A130233 and A130234.

a(n)=if(n==1,return(2)); my(k=n^2);k+=((k + 1) << 2);issquare(k) || issquare(k-8) \\ Charles R Greathouse IV, Feb 03 2014; typo corrected by Georg Fischer, Jun 22 2022

G.f.: Sum_{k>=0} x^Fibonacci(k).
From Hieronymus Fischer, May 17 2007: (Start)
a(n) = 1+floor(arcsinh(sqrt(5)*n/2)/log(phi))-ceiling(arccosh(sqrt(5)*n/2)/log(phi)), for n>0, where phi=(1+sqrt(5))/2.
a(n) = A108852(n) - A108852(n-1) for n>0.
a(n) = A130233(n) - A130233(n-1) for n>0.
a(n) = 1 + A130233(n) - A130234(n) for n>0.
a(n) = A130234(n+1) - A130234(n) for n>=0. (End)

A130235 Partial sums of the 'lower' Fibonacci Inverse A130233.

Original entry on oeis.org

0, 2, 5, 9, 13, 18, 23, 28, 34, 40, 46, 52, 58, 65, 72, 79, 86, 93, 100, 107, 114, 122, 130, 138, 146, 154, 162, 170, 178, 186, 194, 202, 210, 218, 227, 236, 245, 254, 263, 272, 281, 290, 299, 308, 317, 326, 335, 344, 353, 362, 371, 380, 389, 398, 407, 417, 427

Offset: 0

Hieronymus Fischer, May 17 2007

nonn

G. C. Greubel, Table of n, a(n) for n = 0..5000

Cf. A000045, A130233, A130234, A130236, A130238, A130240, A130243, A130246, A130244, A130246, A130248, A130251, A130257, A130261.

m:=120;
f:= func< x | (&+[x^Fibonacci(j): j in [1..Floor(3*Log(3*m+1))]])/(1-x)^2 >;
R:=PowerSeriesRing(Rationals(), m+1);
[0] cat Coefficients(R!( f(x) )); // G. C. Greubel, Mar 17 2023

nmax = 90; CoefficientList[Series[Sum[x^Fibonacci[k], {k, 1, 1 + Log[3/2 + Sqrt[5]*nmax]/Log[GoldenRatio]}]/(1-x)^2, {x, 0, nmax}], x] (* Vaclav Kotesovec, Apr 14 2020 *)

m=120
def f(x): return sum( x^fibonacci(j) for j in range(1, int(3*log(3*m+1))))/(1-x)^2
def A130235_list(prec):
    P. = PowerSeriesRing(ZZ, prec)
    return P( f(x) ).list()
A130235_list(m) # G. C. Greubel, Mar 17 2023

a(n) = Sum_{k=0..n} A130233(k) = (n+1)*A130233(n) - Fib(A130233(n)+2) + 1.

G.f.: 1/(1-x)^2 * Sum_{k>=1} x^Fib(k). [corrected by Joerg Arndt, Apr 14 2020]

A130240 Partial sums of A130239.

Original entry on oeis.org

0, 2, 4, 6, 9, 12, 15, 18, 21, 25, 29, 33, 37, 41, 45, 49, 53, 57, 61, 65, 69, 73, 77, 81, 85, 90, 95, 100, 105, 110, 115, 120, 125, 130, 135, 140, 145, 150, 155, 160, 165, 170, 175, 180, 185, 190, 195, 200, 205, 210, 215, 220, 225, 230, 235, 240, 245, 250, 255, 260

Offset: 0

Hieronymus Fischer, May 17 2007

nonn

G. C. Greubel, Table of n, a(n) for n = 0..5000

Cf. A000045, A130233, A130234, A130235, A130236, A130237, A130238, A130239, A130243, A130246, A130248, A130239, A130251, A130253, A130257, A130261.

A130233:= func< n | Floor(Log(3/2 + n*Sqrt(5))/Log((1+Sqrt(5))/2)) >;
A130240:= func< n | (&+[A130233(Floor(Sqrt(j))): j in [0..n]]) >;
[A130240(n): n in [0..70]]; // G. C. Greubel, Mar 18 2023

A130233[n_]:= Floor[Log[GoldenRatio, 3/2 + n*Sqrt[5]]];
A130240[n_]:= A130240[n]= Sum[A130233[Floor[Sqrt[j]]], {j,0,n}];
Table[A130240[n], {n,0,70}] (* G. C. Greubel, Mar 18 2023 *)

def A130233(n): return int(log(3/2 +n*sqrt(5), golden_ratio))
def A130240(n): return sum( A130233(floor(sqrt(j))) for j in range(n+1) )
[A130240(n) for n in range(71)] # G. C. Greubel, Mar 18 2023

a(n) = Sum_{k=0..n} A130239(k).
a(n) = (n+1)*A130233(sqrt(n)) - Fib(A130233(sqrt(n)) + 1) * Fib(A130232(sqrt(n))).
G.f.: (1/(1-x)^2) * Sum_{k>=1} x^(Fib(k)^2).

A087172 Greatest Fibonacci number that does not exceed n.

Original entry on oeis.org

1, 2, 3, 3, 5, 5, 5, 8, 8, 8, 8, 8, 13, 13, 13, 13, 13, 13, 13, 13, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 21, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, 55

Offset: 1

Sam Alexander, Oct 19 2003

Also the largest term in Zeckendorf representation of n; starting at Fibonacci positions the sequence is repeated again and again in A107017: A107017(A000045(n)+k) = a(k) with 0 < k < A000045(n-1). - Reinhard Zumkeller, May 09 2005

Fibonacci(n) occurs Fibonacci(n-1) times, for n >= 2. - Benoit Cloitre, Dec 15 2022

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
Eric Weisstein's World of Mathematics, Fibonacci Number.

Cf. A000045, A007895, A035516, A035517, A066628, A107017, A130233, A130234, A256654.

Partial sums: A130473.

a087172 = head . a035516_row -- Reinhard Zumkeller, Mar 10 2013

with(combinat):
A087172 := proc (n) local j: for j while fibonacci(j) <= n do fibonacci(j) end do: fibonacci(j-1) end proc:
seq(A087172(n), n = 1 .. 40); # Emeric Deutsch, Nov 11 2014
# Alternative
N:= 100: # to get a(n) for n from 1 to N
Fibs:= [seq(combinat:-fibonacci(i), i = 1 .. ceil(log[(1 + sqrt(5))/2](sqrt(5)*N)))]:
A:= Vector(N):
for i from 1 to nops(Fibs)-1 do
  A[Fibs[i] .. min(N,Fibs[i+1]-1)]:= Fibs[i]
od:
convert(A,list); # Robert Israel, Nov 11 2014

With[{rf=Reverse[Fibonacci[Range[10]]]},Flatten[Table[ Select[ rf,n>=#&, 1],{n,80}]]] (* Harvey P. Dale, Dec 08 2012 *)
Flatten[Map[ConstantArray[Fibonacci[#],Fibonacci[#-1]]&,Range[15]]] (* Peter J. C. Moses, May 02 2022 *)

a(n)=my(k=log(n)\log((1+sqrt(5))/2)); while(fibonacci(k)<=n, k++); fibonacci(k--) \\ Charles R Greathouse IV, Jul 24 2012

a(n) = Fibonacci(A130233(n)) = Fibonacci(A130234(n+1)-1). - Hieronymus Fischer, May 28 2007
a(n) = A035516(n, 0) = A035517(n, A007895(n)-1). - Reinhard Zumkeller, Mar 10 2013
a(n) = n - A066628(n). - Michel Marcus, Feb 02 2016
Sum_{n>=1} 1/a(n)^2 = Sum_{n>=1} Fibonacci(n)/Fibonacci(n+1)^2 = 1.7947486789... . - Amiram Eldar, Aug 16 2022

A130237 The 'lower' Fibonacci Inverse A130233(n) multiplied by n.

Original entry on oeis.org

0, 2, 6, 12, 16, 25, 30, 35, 48, 54, 60, 66, 72, 91, 98, 105, 112, 119, 126, 133, 140, 168, 176, 184, 192, 200, 208, 216, 224, 232, 240, 248, 256, 264, 306, 315, 324, 333, 342, 351, 360, 369, 378, 387, 396, 405, 414, 423, 432, 441, 450, 459, 468, 477, 486, 550

Offset: 0

Hieronymus Fischer, May 17 2007

nonn

G. C. Greubel, Table of n, a(n) for n = 0..5000

Partial sums: A130238.

Cf. A000045, A130233, A130234, A130235, A130236, A130238, A130239, A130240, A130243, A130246, A130248, A130239, A130251, A130253, A130257, A130261.

[n*Floor(Log(3/2 +n*Sqrt(5))/Log((1+Sqrt(5))/2)): n in [0..70]]; // G. C. Greubel, Mar 18 2023

Table[n*Floor[Log[GoldenRatio, 3/2 +n*Sqrt[5]]], {n,0,70}] (* G. C. Greubel, Mar 18 2023 *)

[n*int(log(3/2 +n*sqrt(5), golden_ratio)) for n in range(71)] # G. C. Greubel, Mar 18 2023

a(n) = n*A130233(n).
a(n) = n*floor(arcsinh(sqrt(5)*n/2)/log(phi)).
G.f.: (1/(1-x))*Sum_{k>=1} (Fib(k) + x/(1-x))*x^Fib(k).

A130239 Maximal index k of the square of a Fibonacci number such that Fib(k)^2 <= n (the 'lower' squared Fibonacci Inverse).

Original entry on oeis.org

0, 2, 2, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6

Offset: 0

Hieronymus Fischer, May 17 2007, May 28 2007

nonn

			a(10) = 4 since Fib(4)^2 = 9 <= 10 but Fib(5)^2 = 25 > 10.

G. C. Greubel, Table of n, a(n) for n = 0..5000

Partial sums: A130240. Other related sequences: A000045, A130233, A130234, A130235, A130236, A130237, A130238, A130240, A130243, A130246, A130248, A130239, A130251, A130253, A130257, A130261.

A130233:= func< n | Floor(Log(3/2 + n*Sqrt(5))/Log((1+Sqrt(5))/2)) >;
[A130233(Floor(Sqrt(n))): n in [0..120]]; // G. C. Greubel, Mar 18 2023

A130233[n_]:= Floor[Log[GoldenRatio, 3/2 +n*Sqrt[5]]];
Table[A130233[Floor[Sqrt[n]]], {n, 0, 120}] (* G. C. Greubel, Mar 18 2023 *)

def A130233(n): return int(log(3/2 +n*sqrt(5), golden_ratio))
def A130239(n): return A130233(floor(sqrt(n)))
[A130239(n) for n in range(121)] # G. C. Greubel, Mar 18 2023

a(n) = max(k | Fib(k)^2 <= n) = A130233(floor(sqrt(n))).
a(n) = floor(arcsinh(sqrt(5n)/2)/log(phi)), where phi=(1+sqrt(5))/2.
G.f.: (1/(1-x))*Sum_{k>=1} x^(Fib(k)^2).

cp's OEIS Frontend

A130236 Partial sums of the 'upper' Fibonacci Inverse A130234.

Views

Author

Keywords

Links

Crossrefs

Programs

Magma

Mathematica

SageMath

Formula

A014417 Representation of n in base of Fibonacci numbers (the Zeckendorf representation of n). Also, binary words starting with 1 not containing 11, with the word 0 added.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

PARI

Python

Extensions

A010056 Characteristic function of Fibonacci numbers: a(n) = 1 if n is a Fibonacci number, otherwise 0.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Python

Formula

A130233 a(n) is the maximal k such that Fibonacci(k) <= n (the "lower" Fibonacci Inverse).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A104162 Indicator sequence for the Fibonacci numbers.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

PARI

Formula

A130235 Partial sums of the 'lower' Fibonacci Inverse A130233.

Views

Author

Keywords

Links

Crossrefs

Programs

Magma

Mathematica

SageMath

Formula

A130240 Partial sums of A130239.

Views

Author

Keywords