ExhaustiveProof.md (304B)
1 # Exhaustive Proof 2 3 U 1.8.2 4 5 **Definition:** An exhaustive proof is similar to proof by cases except we evaluate it for all specific examples which needs to be a relatively small number. 6 7 An exhaustive proof that "a < a+1 for 1 < a < 5 where a $\in \Z$" would show the statement is true for 2, 3, and 4.