///
Uma empresa oferece aos seus colaboradores uma máquina automática que disponibiliza exatamente 4 tipos de bebidas quentes: Café Expresso, Capuccino, Chocolate Quente e Chá. Se, em dada ocasião, cada colaborador retirar uma única bebida, passa-se a ter certeza de que, ao menos, 5 pessoas escolheram exatamente o mesmo tipo de bebida imediatamente após a retirada de número