Proof WritingHardContrapositive and Contradiction
Contrapositive and Contradiction · Hard problem
A minimal-counterexample argument proves that every integer is a sum of s and s (any number of each, including none): check by hand, and a smallest failure would make a smaller failure. What is the smallest possible ?