A generalization of the sum of divisors function involves a recursive definition. This leads to variants of superabundant numbers, colossally abundant numbers, and Gronwall's theorem (relevant to the Riemann hypothesis).