A000079 claims that the powers of 2 coincides with the least deficient numbers. This claim is repeated by MathWorld at http://mathworld.wolfram.com/LeastDeficientNumber.html with the only reference to A000079. Is it trivial to show that there are no other least deficient numbers besides the powers of 2? Do you have any references to the proof? Thanks, Max