Divisor Sum of 4030

Example of Divisor Sum of Square-Free Integer

 * $\map {\sigma_1} {4030} = 8064$

where $\sigma_1$ denotes the divisor sum function.

Proof
We have that:
 * $4030 = 2 \times 5 \times 13 \times 31$

Hence: