Skip to content

Erdős problem 1138

Erdős Problem 1138. Let x/2<y<xx/2 < y < x and C>1C > 1. If d=maxpn<x(pn+1pn)d = \max_{p_n < x}(p_{n+1} - p_n), where pnp_n denotes the nn-th prime, then is it true that π(y+Cd)π(y)Cdlogy\pi(y + Cd) - \pi(y) \sim \frac{Cd}{\log y}?
Retained from Formal Conjectures · not edited here
Formal statements
1 solved
Erdős Problems says
disproved (Lean)
Decision here
No current contribution
Checks
0 checks · 1 formal

Current Result

Accepted in Vela Mathematics Program

Current Result

No result has been accepted here yet.

Type
Evidence
0 artifacts
Decision
None
Reviewed
No date retained

Search problems.science

Find a Problem, Result, source, or page