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 A064724 #13 Sep 08 2022 08:45:04
%S A064724 1,3,4,6,8,9,11,12,14,16,17,19,20,22,24,25,27,28,30,32,33,35,36,38,40,
%T A064724 41,43,44,46,48,49,51,52,54,56,57,59,60,62,64,65,67,68,70,72,73,75,76,
%U A064724 78,80,81,83,84,86,88,89,91,92,94,96,97,99,100,102,104,105,107,108,110
%N A064724 A Beatty sequence for 2^sqrt(2).
%H A064724 Harry J. Smith, <a href="/A064724/b064724.txt">Table of n, a(n) for n = 1..2000</a>
%t A064724 Table[Floor[n*(2^Sqrt[2])/(2^Sqrt[2] - 1)], {n, 1, 70} ]
%o A064724 (PARI) { default(realprecision, 100); b=2^sqrt(2); b=b/(b - 1); for (n = 1, 2000, write("b064724.txt", n, " ", floor(n*b)) ) } \\ _Harry J. Smith_, Sep 23 2009
%o A064724 (Magma) [Floor(n*2^Sqrt(2)/(2^Sqrt(2) - 1)): n in [1..100]]; // _G. C. Greubel_, Sep 09 2018
%Y A064724 Beatty complement is A038127.
%Y A064724 Note that this sequence differs from A047416, 589 is in this sequence while 588 is in A047416.
%K A064724 nonn
%O A064724 1,2
%A A064724 _Robert G. Wilson v_, Oct 16 2001