OFFSET
1,1
COMMENTS
From Robert Israel, Feb 13 2025: (Start)
Numbers k such that 2^(k+2) == -1 (mod k+1).
All terms are divisible by 4.
The only term k where k+1 is prime is 4.
(End)
LINKS
Robert Israel, Table of n, a(n) for n = 1..350
EXAMPLE
(4+3)^(4+2) mod (4+1) = 7^6 mod 5 = 117649 mod 5 = 4, so 4 is a term.
MAPLE
filter:= proc(k) 2 &^(k+2) mod (k+1) = k end proc:
select(filter, [seq(i, i=4..10^7, 4)]); # Robert Israel, Feb 13 2025
PROG
(PARI) isok(k) = Mod(k+3, k+1)^(k+2) == k; \\ Michel Marcus, Jul 12 2021
CROSSREFS
KEYWORD
nonn
AUTHOR
Jonathan Ayres (jonathan.ayres(AT)btinternet.com), Oct 26 2001
STATUS
approved