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 A265413 #9 Dec 13 2015 07:55:59 %S A265413 1,2,9,12,15,16,19,20,23,24,25,28,29,30,33,34,35,36,39,40,41,42,45,46, %T A265413 47,48,49,52,53,54,55,56,59,60,61,62,63,64,67,68,69,70,71,72,75,76,77, %U A265413 78,79,80,81,84,85,86,87,88,89,90,93,94,95,96,97,98,99,100,103,104,105,106,107,108,109,110,113,114,115 %N A265413 Positions of records in A265410: a(0) = 1; for n >= 1, a(n) = 1 + A265412(n-1). %C A265413 Sequence gives the positions of records in A265410, equal to the points where its value increases by one. %H A265413 Antti Karttunen, <a href="/A265413/b265413.txt">Table of n, a(n) for n = 0..10001</a> %F A265413 a(0) = 1; for n >= 1, a(n) = 1 + A265412(n-1). %F A265413 Other identities. For all n >= 0: %F A265413 A265410(a(n)) = n. [Particularly: a(n) gives the position where n occurs for the first time in A265410.] %o A265413 (Scheme) (define (A265413 n) (if (zero? n) 1 (+ 1 (A265412 (- n 1))))) %Y A265413 Cf. A265410, A265412. %K A265413 nonn %O A265413 0,2 %A A265413 _Antti Karttunen_, Dec 09 2015