The question https://mathoverflow.net/questions/9731/polynomial-representing-all-nonnegative-integers asked by Poonen has been on MO for a very long time. (It should possibly be mentioend that it was asked elsewhere earlier, in particular on Poonen's website.) It received various interesting answers, but none of them solved the problem. The question is short so I reproduce it: >Is there a 2-variable polynomial $f(x,y) \in \mathbf{Q}[x,y]$ such that $f(\mathbf{Z} \times \mathbf{Z})=\mathbf{N}$? For $3$ (and more variables) it is well known such a polynomial exists (basically going back to Gauss).