A059567 - OEIS

A059567

Beatty sequence for 1 - log(log(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

(list; graph; refs; listen; history; text; internal format)

OFFSET

1,2

LINKS

Harry J. Smith, Table of n, a(n) for n = 1..2000

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

Index entries for sequences related to Beatty sequences

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

Adjacent sequences: A059564 A059565 A059566 * A059568 A059569 A059570

KEYWORD

nonn,easy

AUTHOR

Mitch Harris, Jan 22 2001

STATUS

approved