Supongamos que elige $1000$ diferentes números del grupo $\{1, 2, \dots,1997\}$ .
Demostrar que dentro de la $1000$ números elegidos, hay una pareja cuya suma es $1998$ .
He definido:
- casillas: posibles sumas.
- palomas: el $1000$ diferentes números.
¿Esta definición es buena o hay algo mejor?