Divisor Count of 4030

Example of Use of Divisor Counting Function

 * $\map \tau {4030} = 16$

where $\tau$ denotes the divisor counting (tau) function.

Proof
From Divisor Counting Function from Prime Decomposition:
 * $\ds \map \tau n = \prod_{j \mathop = 1}^r \paren {k_j + 1}$

where:
 * $r$ denotes the number of distinct prime factors in the prime decomposition of $n$
 * $k_j$ denotes the multiplicity of the $j$th prime in the prime decomposition of $n$.

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

Thus:

The divisors of $4030$ can be enumerated as:
 * $1, 2, 5, 10, 13, 26, 31, 62, 65, 130, 155, 310, 403, 806, 2015, 4030$