Open Proof Network

Needs a steward / erdos-410

Steward erdos-410

Let $σ_1(n) = σ(n)$, the sum of divisors function, and $σ_k(n) = σ(σ_{k-1}(n))$. Is it true that $\lim_{k → ∞} σ_k(n)^{\frac 1 k} = ∞$? This is problem (iii) from Erdos, Granville, Pomerance, Spiro "On the normal behavior of the iterates of some arithmetical functions" (page 169 of the book "Analytic Number Theory", 1990).

The problem’s page →

What the role asks
  • Understand what the network proves on this problem.
  • Write it up, and sign the explainer of the proof that closes it.
  • Best efforts, no deadline: step down at any time.
Read more about stewards →