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 A249115 #10 Sep 08 2022 08:46:10 %S A249115 1,2,4,5,6,8,9,11,12,13,15,16,17,19,20,22,23,24,26,27,29,30,31,33,34, %T A249115 35,37,38,40,41,42,44,45,46,48,49,51,52,53,55,56,58,59,60,62,63,64,66, %U A249115 67,69,70,71,73,74,76,77,78,80,81,82,84,85,87,88,89,91 %N A249115 Floor(r*n), where r = (5 - sqrt(5))/2; the Beatty complement of A003231. %C A249115 Let r = (5 - sqrt(5))/2 and s = (5 + sqrt(5))/2. Then 1/r + 1/s = 1, so that A249115 and A003231 are a pair of complementary Beatty sequences. Let tau = (1 + sqrt(5))/2, the golden ratio. Let R = {h*tau, h >= 1} and S = {k*(tau - 1), k >= 1}. Then A249115(n) is the position of n*(tau - 1) in the ordered union of R and S. %H A249115 Clark Kimberling, <a href="/A249115/b249115.txt">Table of n, a(n) for n = 1..10000</a> %H A249115 Scott V. Tezlaf, <a href="https://arxiv.org/abs/1806.00331">On ordinal dynamics and the multiplicity of transfinite cardinality</a>, arXiv:1806.00331 [math.NT], 2018. See p. 9. %t A249115 Table[Floor[(5 - Sqrt[5])/2*n], {n, 1, 200}] %o A249115 (Magma) [Floor(n*(5-Sqrt(5))/2): n in [1..100]]; // _Vincenzo Librandi_, Oct 25 2014 %Y A249115 Cf. A003231, A001622. %K A249115 nonn,easy %O A249115 1,2 %A A249115 _Clark Kimberling_, Oct 21 2014