OFFSET
1,1
COMMENTS
Computed terms are prime. Is it always the case? Probably not and it would be interesting to compute the smallest pseudoprime.
It seems that all larger terms are of the form 60*k + 1, starting at a(4) = 44101 = 60*735 + 1. Further terms of this form after a(17) are 56181482281, 73303609681, 74623302001, 110102454001, 140659081201, 283268822761, 469078212241, 530106748081, 570417709681, 701030830501, 720023604301; all are prime. - Hugo Pfoertner, Sep 28 2020
MATHEMATICA
Select[Range[4, 10^7], (t = #*(# - 1)*(# - 2)*(# - 3)/24) == 1 || PowerMod[2, #, t] == 4 &] - 1 (* Amiram Eldar, Sep 27 2020 *)
PROG
(PARI) is(k) = k>=4 && Mod(2, k*(k-1)*(k-2)*(k-3)/24)^k == 4
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Benoit Cloitre, Sep 26 2020
EXTENSIONS
a(13)-a(17) from Amiram Eldar, Sep 27 2020
a(18)-a(22) from Chai Wah Wu, Oct 09 2020
STATUS
approved