I remember a survey about the Pell equation. At the start it was claimed that it can be proven with the pigeonhole principle that the Pell-equation $$p^2-Nq^2=1$$ ($N$ is a positive integer not being a perfect square) always has a non-trivial solution ($p,q>0$)
Unfortunately, I do not remember whether the proof used the Dirichlet-approximation-theorem or modulo-arithmetic (and didn't understand, how it worked) , and I do not have access to the source anymore.
Can the pigeonhole-principle actually prove that the Pell-equation is always solveable without using the continued-fraction-expansion of $\sqrt{N}$ ? And if yes, how ?