Skip to content

Erdős problem 1060

The conjecture is about the function f(n)f(n) which counts the number of solutions to kσ(k)=nk\sigma(k)=n, where σ(k)\sigma(k) is the sum of divisors of kk. The first bound is that f(n)f(n) grows slower than any power of n(1loglogn)n^(\frac{1}{\log\log n}). The second bound is that f(n)f(n) is at most a power of logn\log n.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/1060.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1060.leanErdos1060.erdos_1060.parts.i3 linesExact file
h,  (h =o[Filter.atTop] fun n => 1 / Real.log (Real.logn)) ∧    ∀ᶠ (n : ℕ) in Filter.atTop, ↑{kFinset.Iic n | k * (ArithmeticFunction.sigma 1) k = n}.card ≤ ↑n ^ h n
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page