Erdős problem 1056
Let . Does there exist a prime and consecutive intervals such that for all ?
Sources
FormalConjectures/ErdosProblems/
1056.lean
Retained formal statement
This is problem A15 in Guy's collection [Gu04], where he reports that in a letter in 1979 Erdős observed that .
Erdos1056.AllModProdEqualsOne 11 ![3, 5, 8]TextbookStatement only, no proof