Em um grupo de 30 pessoas, todos têm tipo sanguíneo entre os tipos A+, A–, B+, B–.
Sobre essas 30 pessoas, considere a sentença “pelo menos N pessoas desse grupo têm o mesmo tipo sanguíneo”.
O maior valor de N para o qual a sentença dada é sempre verdadeira é