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?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1074.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1074.leanErdos1074.erdos_1074.parts.i1 lineExact file
sorry ↔ ∃ c, Erdos1074.EHSNumbers.HasDensity c
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page