OFFSET
1,1
COMMENTS
Conjecture: all terms of the sequence are prime numbers A000040.
The conjecture is false: 45812984491 = 1777 * 25781083 is in the sequence. - Charles R Greathouse IV, Aug 29 2024
PROG
(Magma) [n: n in [1..10^5] | 2^n mod (n*(n+1) div 2) eq 2 and not 2^n mod (n*(n+1)) eq 2];
(PARI) is(n)=my(m=n*(n+1)); Mod(2, m)^n==m/2+2 \\ Charles R Greathouse IV, Aug 29 2024
CROSSREFS
KEYWORD
nonn
AUTHOR
Juri-Stepan Gerasimov, Aug 29 2024
EXTENSIONS
a(19)-a(30) from Charles R Greathouse IV, Aug 29 2024
STATUS
approved