Erdős problem 1072 · problems.science

Erdős, Hardy, and Subbarao [HaSu02], believed that the number of $p \le x$ for which $f(p)=p−1$ is $o(x/\log x)$ .

No current result

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

FormalConjectures/ErdosProblems/1072.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1072.leanErdos1072.erdos_1072.parts.i1 lineExact file

1True ↔ {p | Nat.Prime p ∧ Erdos1072.f p = p - 1}.Infinite

OpenStatement only, no proof