login
Prime(m), where m is such that (Sum_{k=1..m} prime(k)^8) / m is an integer.
2

%I #45 Dec 03 2024 08:14:41

%S 2,191,12599173,53029063,22806625723729,27568116247823,41455846079203,

%T 289700908580893,1194728983756489,6275148480751847

%N Prime(m), where m is such that (Sum_{k=1..m} prime(k)^8) / m is an integer.

%C The primes correspond to indices m = 1, 43, 824747, 3171671, ... = A125828. - _M. F. Hasler_, Dec 01 2013

%C a(10) > 1352363608564489. - _Bruce Garner_, Jul 07 2021

%C a(11) > 18205684894350047. - _Paul W. Dyson_, Dec 03 2024

%H OEIS Wiki, <a href="https://oeis.org/wiki/Sums_of_primes_divisibility_sequences">Sums of powers of primes divisibility sequences</a>

%F a(n) = prime(A125828(n)). - _M. F. Hasler_, Dec 01 2013

%e a(2) = 191, because 191 is the 43rd prime and the sum of the first 43 primes^8 = 7287989395992721002 = 43 * 169488125488202814.

%t t = {}; sm = 0; Do[sm = sm + Prime[n]^8; If[Mod[sm, n] == 0, AppendTo[t, Prime[n]]], {n, 100000}]; t (* Derived from A217599 *)

%o (PARI) is(n)=if(!isprime(n),return(0)); my(t=primepi(n),s); forprime(p=2,n,s+=Mod(p,t)^8); s==0 \\ _Charles R Greathouse IV_, Nov 30 2013

%o (PARI) S=n=0;forprime(p=1,,(S+=p^8)%n++||print1(p",")) \\ _M. F. Hasler_, Dec 01 2013

%Y Cf. A125828.

%Y Cf. A085450 (smallest m > 1 that divides Sum_{k=1..m} prime(k)^n).

%Y Cf. A007504, A045345, A171399, A128165, A233523, A050247, A050248.

%Y Cf. A024450, A111441, A217599, A128166, A233862, A217600, A217601.

%K nonn,more

%O 1,1

%A _Robert Price_, Nov 30 2013

%E a(5)-a(6) from _Paul W. Dyson_, Jan 01 2021

%E a(7) from _Bruce Garner_, Mar 02 2021

%E a(8) from _Bruce Garner_, Mar 30 2021

%E a(9) from _Bruce Garner_, Jul 07 2021

%E a(10) from _Paul W. Dyson_, Jul 07 2023