OFFSET
1,1
COMMENTS
Let S(k) = Sum_{i=0,..k} (i!)^2. Note that 6 divides S(k) for k>1. For prime p=20879, p divides S(p-1). Hence p divides S(k) for all k >= p-1 and all prime values of S(k)/6 are for k < p-1. These k yield provable primes for k <= 93. No other k < 4000.
No other k < 8000. [T. D. Noe, Jul 31 2008]
MAPLE
S:= proc(k) local i; add((i!)^2, i=0..k) end proc:
select(k -> isprime(S(k)/6), [$2..100]); # Robert Israel, Jan 25 2026
MATHEMATICA
f2=1; s=2; Do[f2=f2*n*n; s=s+f2; If[PrimeQ[s/6], Print[{n, s/6}]], {n, 2, 100}]
Flatten[Position[Accumulate[Table[(n!)^2/6, {n, 0, 100}]], _?(PrimeQ[#]&)]]-1 (* Harvey P. Dale, Jan 09 2026 *)
CROSSREFS
KEYWORD
fini,nonn
AUTHOR
T. D. Noe, Dec 18 2004
STATUS
approved
