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 A194584 #31 Jan 21 2023 09:09:28
%S A194584 5,3,5,5,3,5,3,5,5,3,5,5,3,5,3,5,5,3,5,3,5,5,3,5,5,3,5,3,5,5,3,5,5,3,
%T A194584 5,3,5,5,3,5,3,5,5,3,5,5,3,5,3,5,5,3,5,3,5,5,3,5,5,3,5,3,5,5,3,5,5,3,
%U A194584 5,3,5,5,3,5,3,5,5,3,5,5,3,5,3,5,5,3
%N A194584 Differences of A035336.
%C A194584 It appears that this is the Fibonacci word A003849, using 5's and 3's instead of 0's and 1's. In other words, {a(n)} is a fixed point of the morphism 5->53, 3->5.
%C A194584 Proof of this conjecture: since A035336(n) = (2*floor(n*phi) + n - 1) (with phi = (1+sqrt(5))/2) is a generalized Beatty sequence, this follows from Lemma 4 in Allouche and Dekking. - _Michel Dekking_, Oct 10 2018
%C A194584 Also differences of A089910. - _Bob Selcoe_, Sep 20 2014
%C A194584 Proof of this conjecture: this follows from the Carlitz-Scoville-Hoggatt theorem: compositions of the Wythoff A and B sequences are generalized Beatty sequences (cf. Theorem 1 in Allouche and Dekking). - _Michel Dekking_, Oct 10 2018
%H A194584 J.-P. Allouche and F. M. Dekking, <a href="https://arxiv.org/abs/1809.03424">Generalized Beatty sequences and complementary triples</a>, arXiv:1809.03424 [math.NT], 2018.
%t A194584 Table[2 Floor[n (1 + Sqrt[5])/2] + n - 1, {n, 1, 100}] // Differences (* _Jean-François Alcover_, Dec 14 2018 *)
%Y A194584 Cf. A003849, A035336, A089910.
%K A194584 nonn
%O A194584 1,1
%A A194584 _John W. Layman_, Aug 29 2011