login
This site is supported by donations to The OEIS Foundation.

 

Logo

Thanks to everyone who made a donation during our annual appeal!
To see the list of donors, or make a donation, see the OEIS Foundation home page.

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A130255 Maximal index k of an odd Fibonacci number (A001519) such that A001519(k) = Fibonacci(2k-1) <= n (the 'lower' odd Fibonacci Inverse). 12
1, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 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, 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 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

Inverse of the odd Fibonacci sequence (A001519), nearly, since a(A001519(n))=n except for n=0 (see A130256 for another version). a(n)+1 is the number of odd Fibonacci numbers (A001519) <= n (for n >= 1).

LINKS

G. C. Greubel, Table of n, a(n) for n = 1..10000

FORMULA

a(n) = floor((1 + arcsinh(sqrt(5)*n/2)/log(phi))/2).

a(n) = floor((1 + arccosh(sqrt(5)*n/2)/log(phi))/2).

a(n) = floor((1 + log_phi(sqrt(5)*n))/2) for n >= 1, where phi = (1 + sqrt(5))/2.

G.f.: g(x) = 1/(1-x)*Sum_{k>=1} x^Fibonacci(2k-1).

a(n) = floor((1/2)*(1 + log_phi(sqrt(5)*n + 1))) for n >= 1.

EXAMPLE

a(10)=3 because A001519(3) = 5 <= 10, but A001519(4) = 13 > 10.

MATHEMATICA

Table[Floor[(1 +ArcSinh[Sqrt[5]*n/2]/Log[GoldenRatio])/2], {n, 1, 100}] (* G. C. Greubel, Sep 09 2018 *)

PROG

(PARI) phi=(1+sqrt(5))/2; vector(100, n, floor((1 +asinh(sqrt(5)*n/2)/log(phi))/2)) \\ G. C. Greubel, Sep 09 2018

(MAGMA) phi:=(1+Sqrt(5))/2; [Floor((1 +Argsinh(Sqrt(5)*n/2)/Log(phi))/2): n in [1..100]]; // G. C. Greubel, Sep 09 2018

CROSSREFS

Cf. partial sums A130257. Other related sequences: A000045, A130233, A130237, A130239, A130256, A130259, A104160. Lucas inverse: A130241 - A130248.

Sequence in context: A134021 A237657 A244317 * A082527 A294235 A186188

Adjacent sequences:  A130252 A130253 A130254 * A130256 A130257 A130258

KEYWORD

nonn

AUTHOR

Hieronymus Fischer, May 24 2007, Jul 02 2007

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified January 18 23:05 EST 2019. Contains 319282 sequences. (Running on oeis4.)