Prove that, for each , the number
can be represented as the sum of
distinct divisors of itself.
Note for it does not work because the divisors
but it does work for
where the divisors are
. Similarly for
the divisors are
or
.
Inductive step: Assume it is true for ie.
(where
are
divisors in increasing order); namely multiplying the above relation by
we get
.
We split the into
, thus getting
summands as needed. Of them
might not be a divisor of
, that’s why we insist