cp's OEIS Frontend

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.

Showing 1-1 of 1 results.

A309813 Records in A171898.

Original entry on oeis.org

1, 2, 6, 42, 56, 131, 170, 307, 650, 1302, 2021, 2028, 2238, 2944, 3151, 4466, 7365, 7936, 9344, 17384, 23470, 28328, 30318, 31806, 36385, 37283, 40245, 48934, 89509, 108985, 113677, 123092, 173614, 295701, 300255, 311221, 363758
Offset: 1

Views

Author

Jan Ritsema van Eck, Aug 18 2019

Keywords

Comments

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.

Crossrefs

Cf. A309814 (positions), A171898, A181391, A171866.
Showing 1-1 of 1 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.