Skip to content

Erdős problem 412

Let σ1(n)=σ(n)σ_1(n)=σ(n), the sum of divisors function, and σk(n)=σ(σk1(n))σ_k(n) = σ(σ_{k-1}(n)). Is it true that, for every m,n2m, n ≥ 2, there exist some i,ji, j such that σi(m)=σj(n)σ_i(m) = σ_j(n)?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/412.lean

Formal Conjectures

FormalConjectures/ErdosProblems/412.leanErdos412.erdos_4121 lineExact file
True ↔ ∀ m ≥ 2, ∀ n ≥ 2, ∃ i j, (⇑(ArithmeticFunction.sigma 1))^[i] m = (⇑(ArithmeticFunction.sigma 1))^[j] n
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page