Skip to content

Erdős problem 1061

For S(x)=#{(a,b):a+bx, σ(a)+σ(b)=σ(a+b)}S(x) = \#\{(a,b) : a + b \le x,\ \sigma(a) + \sigma(b) = \sigma(a+b)\}, is S(x)cxS(x) \sim cx? The preprint claims S(x)S(x) grows faster than x(logx)Rx (\log x)^R for every fixed RR, ruling out the linear asymptotic.

Sources

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

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1061.lean

Retained formal statement1 of 1

How many (ordered) solutions are there to σ(a) + σ(b) = σ(a + b) with a + b ≤ x? Is it true that this number is asymptotic to c * x for some constant c > 0?

FormalConjectures/ErdosProblems/1061.leanErdos1061.erdos_10611 lineExact file
True ↔ ∃ c, 0 < cAsymptotics.IsEquivalent Filter.atTop Erdos1061.S fun x => c * x
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page