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.

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1060.lean

Retained formal statement2 of 2

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

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

Search problems.science

Find a Problem, Result, source, or page