%I #26 Feb 16 2025 08:32:44

%S 3,7,11,14,18,22,26,29,33,37,41,44,48,52,55,59,63,67,70,74,78,82,85,

%T 89,93,96,100,104,108,111,115,119,123,126,130,134,137,141,145,149,152,

%U 156,160,164,167,171,175,178,182,186,190,193,197,201,205,208,212,216

%N Beatty sequence for 1 - 1/log(log(2)).

%H Harry J. Smith, <a href="/A059568/b059568.txt">Table of n, a(n) for n = 1..2000</a>

%H Aviezri S. Fraenkel, Jonathan Levitt, and Michael Shimshoni, <a href="http://dx.doi.org/10.1016/0012-365X(72)90012-X">Characterization of the set of values f(n)=[n alpha], n=1,2,...</a>, Discrete Math. 2 (1972), no.4, 335-345.

%H Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/BeattySequence.html">Beatty Sequence.</a>

%H <a href="/index/Be#Beatty">Index entries for sequences related to Beatty sequences</a>

%F a(n) = floor(n*(1 - 1/log(log(2)))). - _Michel Marcus_, Jan 04 2015

%t Floor[Range[100]*(1 - 1/Log[Log[2]])] (* _Paolo Xausa_, Jul 05 2024 *)

%o (PARI) { default(realprecision, 100); b=1 - 1/log(log(2)); for (n = 1, 2000, write("b059568.txt", n, " ", floor(n*b)); ) } \\ _Harry J. Smith_, Jun 28 2009

%Y Beatty complement is A059567.

%Y Cf. A074785.

%K nonn,easy,changed

%O 1,1

%A _Mitch Harris_, Jan 22 2001