Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A130241
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A130241 Maximal index k of a Lucas number such that Lucas(k)<=n (the 'lower' Lucas (A000032) Inverse). +0
24
1, 1, 2, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 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, 9, 9, 9, 9 (list; graph; listen)
OFFSET

1,3

COMMENT

Inverse of the Lucas sequence (A000032), nearly, since a(Lucas(n))=n for n>=1 (see A130242 and A130247 for other versions). For n>=2, a(n)+1 is equal to the partial sum of the Lucas indicator sequence (see A102460). Identical to A130247 except for n=2.

FORMULA

a(n)=floor(log_phi((n+sqr(n^2+4))/2))=floor(arsinh(n/2)/ln(phi)) where phi=(1+sqr(5))/2.

a(n)=A130242(n+1)-1 for n>=2. a(n)=A130247(n) except for n=2.

G.f.: g(x)=1/(1-x)*sum{k>=1, x^Lucas(k)}.

a(n)=floor(log_phi(n+1/2)) for n>=2, where phi is the golden ratio.

EXAMPLE

a(10)=4, since Lucas(4)=7<=10 but Lucas(5)=11>10.

CROSSREFS

For partial sums see A130243. Other related sequences: A000032, A130242, A130245, A130247, A130249, A130255, A130259. Indicator sequence A102460. Fibonacci inverse see A130233 - A130240, A104162.

Sequence in context: A103586 A117806 A085423 this_sequence A130247 A087839 A106742

Adjacent sequences: A130238 A130239 A130240 this_sequence A130242 A130243 A130244

KEYWORD

nonn

AUTHOR

Hieronymus Fischer (Hieronymus.Fischer(AT)gmx.de), May 19 2007, Jul 02 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 December 17 13:29 EST 2009. Contains 170826 sequences.


AT&T Labs Research