A positive integer $n$ is divisor rich if the sum of its proper divisors is strictly greater than $n$. For instance, $10$ is not divisor rich because its proper divisors are $1, 2,$ and $5,$ which add to 8. Also, squares don't have the same proper divisor twice, only once. Also, the number $n$ itself doesn't count as a proper divisor, just like in the example with $10$. Is there any algebraic proof to this?
Thanks!
If $n$ has proper divisors $d_1, \ldots, d_k$ with $d_1 + \ldots + d_k > n$, then the proper divisors of $mn$ include $md_1, \ldots, m d_k$ with ...