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?