Em um bosque há 180 árvores. Sabe-se que cada árvore tem pelo menos 30 folhas e que nenhuma árvore tem mais de 200 folhas. Pode-se concluir que:
existe pelo menos uma árvore com 200 folhas.
o número médio de folhas por árvore é 115.
existe alguma árvore com 115 folhas.
o número total de folhas é certamente maior que 6000.
existem pelo menos duas árvores com mesmo número de folhas.
