Uma empresa fabrica 7 milhões de canetas, e cada caneta pode ter entre 0 e 500 unidades de tinta no reservatório (inclusive). Sabendo que nenhuma caneta contém mais do que 500 unidades de tinta, conclui-se que, necessariamente: