Skip to content

Erdős problem 427

Erdős Problem 427: is it true that, for every nn and dd, there exists kk such that d∣pn+1+⋯+pn+k, d \mid p_{n + 1} + \cdots + p_{n + k}, where prp_r denotes the rrth prime?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

427.lean

Retained formal statement3 of 3

Shiu's theorem: for any k≥1k \geq 1 and (a,q)=1(a, q) = 1 there exist infinitely many kk-tuples of consecutive primes pm,…,pm+k−1p_m, \dots, p_{m + k - 1} all of which are congruent to aa modulo qq.

[Sh00] Shiu, D. K. L., _Strings of congruent primes_. J. London Math. Soc. (2) (2000), 359-373.

FormalConjectures/ErdosProblems/427.leanErdos427.erdos_427.variants.shiu1 lineExact file
Erdos427.ShiuTheorem
SolvedStatement only, no proof