Erdős Problem a Daythe open tracker

Erdős Problem #1184

OPENdatabase updated 2026-04-04

No proof or disproof is known, and it isn't known whether a finite computation could settle it.

What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).

Prizenone
Topicsnumber theory, primes
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/1184
WORKING REPORT BY THIS SITE · JUL 27, 2026

Read our working report →

Younis's 2024 all-interval theorem plus the classical Dickman theorem proves #1184 for every fixed \(1<\alpha<30/17\) unconditionally (and for \(1<\alpha<2\) under RH); the endpoints and larger \(\alp

PARTIAL