Show that there are integers $a,b,c$ not all zero, with absolute values less than $10^6$ such that $$|a+\sqrt2 b+\sqrt 3 c|\leq\frac{1+\sqrt2 +\sqrt3}{1+10^6+10^{12}}.$$
I have the read the Putnam Solution for similar question, I don't understand the part that they get the inequality and then apply Pigeonhole theorem there.
Link: https://prase.cz/kalva/putnam/psoln/psol804.html