Status
On this page
Status
Topics
Status
On this page
Status
Topics
Is there an absolute constant such that every integer with is the distinct sum of proper divisors of ?
Source: erdosproblems.com/825
An accepted solution exists. The statement is true.
The site labels the problem PROVED (LEAN) (page last edited 1 February 2026). Larsen's proof and its Lean formalization are recorded on the claim page Larsen 2026.