This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A059567 #26 Feb 16 2025 08:32:44 %S A059567 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, %T A059567 35,36,38,39,40,42,43,45,46,47,49,50,51,53,54,56,57,58,60,61,62,64,65, %U A059567 66,68,69,71,72,73,75,76,77,79,80,81,83,84,86,87,88,90,91,92,94,95,97 %N A059567 Beatty sequence for 1 - log(log(2)). %H A059567 Harry J. Smith, <a href="/A059567/b059567.txt">Table of n, a(n) for n = 1..2000</a> %H A059567 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 A059567 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/BeattySequence.html">Beatty Sequence</a> %H A059567 <a href="/index/Be#Beatty">Index entries for sequences related to Beatty sequences</a> %F A059567 a(n) = floor(n*(1 - log(log(2)))). - _Michel Marcus_, Jan 04 2015 %t A059567 Floor[Range[100]*(1 - Log[Log[2]])] (* _Paolo Xausa_, Jul 05 2024 *) %o A059567 (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 %Y A059567 Beatty complement is A059568. %Y A059567 Cf. A074785. %K A059567 nonn,easy %O A059567 1,2 %A A059567 _Mitch Harris_, Jan 22 2001