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 A080458 #32 Jul 30 2025 11:21:04
%S A080458 4,8,12,12,16,20,24,24,28,32,36,36,40,44,48,48,52,56,60,60,64,68,72,
%T A080458 72,76,80,84,84,88,92,96,96,100,104,108,108,112,116,120,120,124,128,
%U A080458 132,132,136,140,144,144,148,152,156,156,160,164,168,168,172,176
%N A080458 a(1)=4; for n>1, a(n)=a(n-1) if n is already in the sequence, a(n)=a(n-1)+4 otherwise.
%H A080458 Michael De Vlieger, <a href="/A080458/b080458.txt">Table of n, a(n) for n = 1..10000</a>
%H A080458 Benoit Cloitre, N. J. A. Sloane and M. J. Vandermast, <a href="http://www.cs.uwaterloo.ca/journals/JIS/VOL6/Cloitre/cloitre2.html">Numerical analogues of Aronson's sequence</a>, J. Integer Seqs., Vol. 6 (2003), #03.2.2.
%H A080458 Benoit Cloitre, N. J. A. Sloane and M. J. Vandermast, <a href="https://arxiv.org/abs/math/0305308">Numerical analogues of Aronson's sequence</a>, arXiv:math/0305308 [math.NT], 2003.
%H A080458 Robbert Fokkink and Gandhar Joshi, <a href="https://arxiv.org/abs/2507.16956">On Cloitre's hiccup sequences</a>, arXiv:2507.16956 [math.CO], 2025. See p. 2.
%H A080458 <a href="/index/Rec#order_05">Index entries for linear recurrences with constant coefficients</a>, signature (1,0,0,1,-1).
%F A080458 a(n) = 4 + 4*(n-2-floor((n-4)/4)).
%F A080458 From _Chai Wah Wu_, Jul 17 2016: (Start)
%F A080458 a(n) = a(n-1) + a(n-4) - a(n-5) for n > 5.
%F A080458 G.f.: 4*x*(x^2 + x + 1)/(x^5 - x^4 - x + 1). (End)
%F A080458 From _Ilya Gutkovskiy_, Jul 17 2016: (Start)
%F A080458 E.g.f.: (3*x + 1)*cosh(x) + (3*x + 2)*sinh(x) - cos(x) - sin(x).
%F A080458 a(n) = (6*n - (-1)^n - 2*sqrt(2)*sin(Pi*n/2+Pi/4) + 3)/2. (End)
%t A080458 LinearRecurrence[{1, 0, 0, 1, -1}, {4, 8, 12, 12, 16}, 60] (* _Jean-François Alcover_, Sep 20 2018 *)
%o A080458 (PARI) a(n) = 4 + 4*(n-2-(n-4)\4); \\ _Michel Marcus_, May 06 2016
%Y A080458 Cf. A080455, A080456, A080457, A080036, A080037.
%K A080458 nonn,easy
%O A080458 1,1
%A A080458 _N. J. A. Sloane_ and _Benoit Cloitre_, Mar 20 2003