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(1log⁡log⁡n)n^(\frac{1}{\log\log n}). The second bound is that f(n)f(n) is at most a power of log⁡n\log n.

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

1060.lean

Retained formal statement2 of 2

Part (ii) of Erdős Problem 1060: bound on the number of k≤nk \le n with kσ1(k)=nk \sigma_1(k) = n.

FormalConjectures/ErdosProblems/1060.leanErdos1060.erdos_1060.parts.ii2 linesExact file
∃ C,  (fun n => ↑{k ∈ Finset.Iic n | k * (ArithmeticFunction.sigma 1) k = n}.card) =O[Filter.atTop] fun n => Real.log ↑n ^ C
OpenStatement only, no proof