I was going through the textbook and I stumbled upon this question regarding the pigeonhole principle. Kindly advise if I did it correctly?
Given a list of integers from $1$ to $1000$ inclusive, if you pick $k$ numbers from this list, what is the smallest $k$ so that no matter which $k$ numbers you pick from this list, it would guarantee that they contain $3$ consecutive numbers?
Pigeons: $1000$
Pigeonholes: How do I define the pigeonholes?
$$(1000 \div 3) = 334$$
$$2 < 1000 / 334$$
$$1000 – (999 / 3) = 667$$
$k$ will be $667 + 1$?
Proof there can be no more than $667$ numbers selected:
Consider the set of $333$ pigeonholes of the form $\{3k+1,3k+2,3k+3\}$ with $k\in \{0,1,\dots,332\}$.
If there are $668$ or more values there must be at least $667$ values inside the $333$ pigeonholes, so one must contain three values. This would give us three consecutive values.
You can construct an example with exactly $667$ values by taking the first two values of each pidgenhole along with $1000$