OFFSET
1,1
COMMENTS
The Beatty sequence for log_2(5) (A020858). The asymptotic density of this sequence is log_5(2) (A152675). - Amiram Eldar, Apr 09 2021
One less than the length of 5^n written in binary. Could and should be extended to a(0) = 0 (with definition corrected to "2^m <= ..."). - M. F. Hasler, Apr 17 2024
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
FORMULA
a(n) = floor(n*log_2(5)). - M. F. Hasler, Apr 17 2024
EXAMPLE
a(2) = 4 since 2^4 < 5^2 < 2^(4+1).
MATHEMATICA
Table[Floor[n*Log2[5]], {n, 100}] (* Amiram Eldar, Apr 09 2021 *)
PROG
(PARI) a(n) = floor(n*log(5)/log(2)) \\ Michel Marcus, Jul 27 2013
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Lekraj Beedassy, May 09 2003
EXTENSIONS
Corrected and extended by John W. Layman, May 09 2003
STATUS
approved