Erdős problem 410 · problems.science

Let $σ_1(n) = σ(n)$ , the sum of divisors function, and $σ_k(n) = σ(σ_{k-1}(n))$ .

No current result

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

FormalConjectures/ErdosProblems/410.lean

Formal Conjectures

FormalConjectures/ErdosProblems/410.leanErdos410.erdos_4101 lineExact file

1True ↔ ∀ n > 1, Filter.Tendsto (fun k => ↑((⇑(ArithmeticFunction.sigma 1))^[k] n) ^ (1 / ↑k)) Filter.atTop Filter.atTop

OpenStatement only, no proof