Skip to content

Erdős problem 1074

Similarly, if PP is the set of all primes pp such that there exists an mm with p≢1(modm)p\not\equiv 1\pmod{m} such that m!+10(modp)m! + 1 \equiv 0\pmod{p}, then does limP[1,x]π(x) \lim\frac{|P\cap[1, x]|}{\pi(x)} exist?

Sources

Browse retained paths and inspect the exact material available for this Problem.

12 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1074.lean

Retained formal statement6 of 12

The sequence SS begins 8,9,13,14,15,16,17,...8, 9, 13, 14, 15, 16, 17, ...

FormalConjectures/ErdosProblems/1074.leanErdos1074.erdos_1074.variants.EHSNumbers_init1 lineExact file
Nat.nth Erdos1074.EHSNumbers '' Set.Icc 0 6 = {8, 9, 13, 14, 15, 16, 17}
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page