Erdős problem 277 · problems.science

Is it true that, for every $c$ , there exists an $n$ such that $\sigma(n)>cn$ but there is no covering system whose moduli all divide $n$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

277.lean

Retained formal statement1 of 1

Is it true that, for every $c$ , there exists an $n$ such that $\sigma(n)>cn$ but there is no covering system whose moduli all divide $n$ ?

This was answered affirmatively by Haight [Ha79].

FormalConjectures/ErdosProblems/277.leanErdos277.erdos_2771 lineExact file

1True ↔ ∀ (c : ℝ), ∃ n, ↑((ArithmeticFunction.sigma 1) n) > c * ↑n ∧ ∀ (m : StrictCoveringSystem ℤ), ∃ i, ↑n ∉ m.moduli i

SolvedStatement only, no proof