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 A309813 #10 Aug 29 2019 22:42:55 %S A309813 1,2,6,42,56,131,170,307,650,1302,2021,2028,2238,2944,3151,4466,7365, %T A309813 7936,9344,17384,23470,28328,30318,31806,36385,37283,40245,48934, %U A309813 89509,108985,113677,123092,173614,295701,300255,311221,363758 %N A309813 Records in A171898. %C A309813 This is a subset of A171866 (records in A181391). Proof: each positive term m in A171866 also occurs in A181391, and the other way around, with a shift of m+1 positions. Consider a record r in A171866, which occurs in that sequence at position i; it occurs in A181391 at position i+r+1. Any larger term s>r must occur in A171866 at a position j>i (or r would not be a record), so its position in A181391, j+s+1, is larger than i+r+1. Therefore, r is also a record in A181391. %Y A309813 Cf. A309814 (positions), A171898, A181391, A171866. %K A309813 nonn %O A309813 1,2 %A A309813 _Jan Ritsema van Eck_, Aug 18 2019