Erdős problem 1074 · problems.science

Similarly, if $P$ is the set of all primes $p$ such that there exists an $m$ with $p\not\equiv 1\pmod{m}$ such that $m! + 1 \equiv 0\pmod{p}$ , then does $\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 statement1 of 12

Let $S$ be the set of all $m\geq 1$ such that there exists a prime $p\not\equiv 1\pmod{m}$ such that $m! + 1 \equiv 0\pmod{p}$ . Does $\lim\frac{|S\cap[1, x]|}{x}$ exist?

FormalConjectures/ErdosProblems/1074.leanErdos1074.erdos_1074.parts.i1 lineExact file

1sorry ↔ ∃ c, Erdos1074.EHSNumbers.HasDensity c

OpenStatement only, no proof

Sources

Search problems.science