Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A130233
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A130233 Maximal index k of a Fibonacci number such that Fib(k)<=n (the 'lower' Fibonacci Inverse). +0
32
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 (list; graph; listen)
OFFSET

0,2

COMMENT

Inverse of the Fibonacci sequence (A000045), nearly, since a(Fib(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).

FORMULA

a(n)=floor(log_phi((sqr(5)*n+sqr(5*n^2+4))/2))=floor(arsinh(sqr(5)*n/2)/ln(phi)) where phi=(1+sqr(5))/2. Also true: a(n)=A130234(n+1)-1. G.f.: g(x)=1/(1-x)*sum{k>=1, x^Fib(k)}.

a(n)=floor(log_phi(sqr(5)*n+1)), n>=0, where phi is the = golden ratio. - Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), Jul 02 2007

EXAMPLE

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

CROSSREFS

Partial sums: A130235. Other related sequences: A000045, A130234, A130237, A130239, A130255, A130259, A104162, A108852, A130255, A130259. Lucas inverse: A130241 - A130248.

Adjacent sequences: A130230 A130231 A130232 this_sequence A130234 A130235 A130236

Sequence in context: A092338 A030601 A049839 this_sequence A131234 A056791 A027434

KEYWORD

nonn

AUTHOR

Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), May 17 2007

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified November 8 07:45 EST 2009. Contains 166143 sequences.


AT&T Labs Research