the arithmetic function mapping a positive integer to the sum of all its positive divisors (including itself)