WOP Proof for Geometric Sum
In Well Ordering Proofs, first we assume that there is a nonempty set C of counterexamples and that m is the smallest element of C. Then we reach a contradiction.
What was the contradiction in the proof for the closed expression of the sum of a geometric series?