OFFSET
1,1
COMMENTS
It is an open problem (proposed by Michael Stoll) whether this sequence is infinite.
a(6) (if it exists) is greater than 5*10^6.
LINKS
Michael Stoll, Collected Problems from the Problem Session, Rational Points 2023, Workshop at Franken-Akademie Schloss Schney. See Question 13 on page 5.
EXAMPLE
To determine whether the prime p is included in the above sequence, it suffices to compute (b_0, b_1, b_2, ...) modulo p for the initial terms m = 0, 1, ..., p-1, and check whether 0 is contained in each of these mod p sequences.
For p = 2, the mod 2 sequences for m = 0, 1, are:
m = 0: (b_0 mod 2, b_1 mod 2, ...) = (0, 1, 0, 1, ...)
m = 1: (b_0 mod 2, b_1 mod 2, ...) = (1, 0, 1, 0, ...)
Thus a(1) = 2.
For p = 3, the mod 3 sequences for m = 0, 1, 2, are:
m = 0: (b_0 mod 3, b_1 mod 3, ...) = (0, 2, 0, 2, ...)
m = 1: (b_0 mod 3, b_1 mod 3, ...) = (1, 0, 2, 0, ...)
m = 2: (b_0 mod 3, b_1 mod 3, ...) = (2, 0, 2, 0, ...)
Thus a(2) = 3.
For p = 5, the mod 5 sequence for m = 2 is:
m = 2: (b_0 mod 5, b_1 mod 5, ...) = (2, 3, 3, 3, ...)
which does not contain 0. Thus a(3) > 5.
PROG
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Robin Visser, Jun 29 2024
STATUS
approved