Divisor Sum of Square-Free Integer/Examples/70/Proof 1

Proof
From Divisor Sum of Integer:
 * $\ds \map {\sigma_1} n = \prod_{1 \mathop \le i \mathop \le r} \frac {p_i^{k_i + 1} - 1} {p_i - 1}$

where $n = \ds \prod_{1 \mathop \le i \mathop \le r} p_i^{k_i}$ denotes the prime decomposition of $n$.

We have that:
 * $70 = 2 \times 5 \times 7$

Hence: