My motivation for this question comes from the proof here: https://math.stackexchange.com/a/1734600
The proof states:
For a positive integer n, whenever you divide n by one of its prime factors p, you obtain then number of positive integers âĪn which are a multiple of p...
I've worked through a few examples to convince myself it holds, but I'm wondering why it's true in general. Is there a proof for this fact?
When I tried to prove it, I got to:
$\frac n {p_1} = p_1^{a_1 - 1} \cdot (p_2^{a_2} \cdot \ldots \cdot p_k^{a_k})$, assuming that the prime factorization of $n$ is $p_1^{a_1} \cdot \ldots \cdot p_k^{a_k}$. But I'm not sure how I can proceed from here.