Skip to content

Erdős problem 830

We say that a,bNa,b\in \mathbb{N} are an amicable pair if σ(a)=σ(b)=a+b\sigma(a)=\sigma(b)=a+b. If A(x)A(x) counts the number of amicable 1abx1\leq a\leq b\leq x then one can show that A(x)xexp((12+o(1))(logxloglogx)1/2)A(x) \leq x \exp(-(\tfrac{1}{2}+o(1))(\log x\log\log x)^{1/2}).

Sources

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

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

830.lean

Retained formal statement1 of 5

Erdos Problem 830, Part 1 We say that a,bNa,b\in \mathbb{N} are an amicable pair if σ(a)=σ(b)=a+b\sigma(a)=\sigma(b)=a+b. Are there infinitely many amicable pairs?

FormalConjectures/ErdosProblems/830.leanErdos830.erdos_830.parts.i1 lineExact file
sorry ↔ {(a, b) | IsAmicable a b}.Infinite
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page