The board / number theory / #768
Erdős Problem #768
OPENdatabase updated 2025-08-31
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
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/768
Attempts
submit one →Read our full write-up →
Density of integers where every prime factor has a divisor ≡1 mod itself — Eric Li's paper pins the exact constant c=1/(2√log2). Already independently formalized twice by different people (Li himself, and separately JohanLand). We're a third, from-scratch check, not the first.
CLOSED