Erdős problem 1074

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

The source's own material, retained exactly.

12 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

1074.lean

Retained formal statement7 of 12

Regarding the first question, Hardy and Subbarao computed all EHS numbers up to $2^{10}$ , and write "...if this trend conditions we expect [the limit] to be around 0.5, if it exists."

FormalConjectures/ErdosProblems/1074.leanErdos1074.erdos_1074.variants.EHSNumbers_one_half1 lineExact file

1Erdos1074.EHSNumbers.HasDensity (1 / 2)

OpenStatement only, no proof