Erdős problem 825 · problems.science

Is there an absolute constant $C > 0$ such that every integer $n$ with $\sigma(n) > Cn$ is the distinct sum of proper divisors of $n$ ?

No current result

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

FormalConjectures/ErdosProblems/825.lean

Formal Conjectures

FormalConjectures/ErdosProblems/825.leanErdos825.erdos_8251 lineExact file

1True ↔ ∃ C, ∃ (_ : C > 0), ∀ (n : ℕ), ↑((ArithmeticFunction.sigma 1) n) > C * ↑n → ∃ s ⊆ n.properDivisors, n = s.sum id

SolvedStatement only, no proof