OFFSET
1,2
COMMENTS
7 is the only prime term.
MAPLE
q:= k-> 0=(2&^(k+2)-1) mod k:
select(q, [$1..1000000])[]; # Alois P. Heinz, Apr 10 2025
PROG
(Python)
def in_sequence(n):
return pow(2, n + 2, n) == 1 % n
(PARI) isok(k) = Mod(2, k)^(k+2) == 1; \\ Michel Marcus, Apr 10 2025
CROSSREFS
KEYWORD
nonn
AUTHOR
Oisín Flynn-Connolly, Apr 10 2025
STATUS
approved
