I like the pigeonhole principle too its pretty easy to comprehend
It can be used in very complicated situations. Consider the following problem:
Let A = (a1, a2,..., a2000) be a sequence of integers each lying in the interval [−1000,1000].
Suppose that the entries in A sum to 1. Show that some nonempty subsequence of A sums to zero.
What?