A353969 Lexicographically earliest sequence of distinct positive integers with no finite subset summing to a factorial number (A000142).

3, 4, 5, 7, 11, 18, 22, 23, 25, 26, 96, 103, 107, 114, 118, 158, 600, 696, 703, 707, 714, 718, 782, 4320, 4920, 5016, 5023, 5027, 5034, 5038, 5222, 35280, 39600, 40200, 40296, 40303, 40307, 40314, 40318, 41222, 322560, 357840, 362160, 362760, 362856, 362863

Offset

1,1

Comments

The sequence is well defined:

- a(1) = 3,

- for n > 0, let k be such that A000142(k) + 1 + a(1) + ... + a(n) < A000142(k+1),

- then a(n+1) <= A000142(k) + 1.

Links

Table of n, a(n) for n=1..46.

Rémy Sigrist, C++ program

Prog

(C++) See Links section.

Crossrefs

See A353889 for similar sequences.

Cf. A000142, A353970, A353971.

Sequence in context: A377245 A364653 A046413 * A285224 A322991 A120635

Adjacent sequences: A353966 A353967 A353968 * A353970 A353971 A353972

Keyword

nonn

Author

Rémy Sigrist, May 12 2022

Status

approved