El tamaño del menor contra-ejemplo es usualmente usado para mostrar cómo una conjetura puede ser cierta para muchos números, y aun así ser falsa.