The condition stated above is necessary and sufficient for a number to be practical. In one direction, this condition is necessary in order to be able to represent p_i-1 as a sum of divisors of n, because if the inequality failed to be true then even adding together all the smaller divisors would give a sum too small to reach p_i-1. In the other direction, the condition is sufficient, as can be shown by induction.
