Minimal counterexample
In mathematics, a minimal counterexample is the smallest example which falsifies a claim. It is also sometimes called a minimal criminal, smallest criminal, or least criminal, especially (but not exclusively) in the context of the four-color theorem.