login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A059567
Beatty sequence for 1 - log(log(2)).
2
1, 2, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 17, 19, 20, 21, 23, 24, 25, 27, 28, 30, 31, 32, 34, 35, 36, 38, 39, 40, 42, 43, 45, 46, 47, 49, 50, 51, 53, 54, 56, 57, 58, 60, 61, 62, 64, 65, 66, 68, 69, 71, 72, 73, 75, 76, 77, 79, 80, 81, 83, 84, 86, 87, 88, 90, 91, 92, 94, 95, 97
OFFSET
1,2
LINKS
Aviezri S. Fraenkel, Jonathan Levitt, and Michael Shimshoni, Characterization of the set of values f(n)=[n alpha], n=1,2,..., Discrete Math. 2 (1972), no.4, 335-345.
Eric Weisstein's World of Mathematics, Beatty Sequence
FORMULA
a(n) = floor(n*(1 - log(log(2)))). - Michel Marcus, Jan 04 2015
MATHEMATICA
Floor[Range[100]*(1 - Log[Log[2]])] (* Paolo Xausa, Jul 05 2024 *)
PROG
(PARI) { default(realprecision, 100); b=1 - log(log(2)); for (n = 1, 2000, write("b059567.txt", n, " ", floor(n*b)); ) } \\ Harry J. Smith, Jun 28 2009
CROSSREFS
Beatty complement is A059568.
Cf. A074785.
Sequence in context: A285496 A247778 A003511 * A006594 A172276 A260483
KEYWORD
nonn,easy
AUTHOR
Mitch Harris, Jan 22 2001
STATUS
approved