Let $(x,y) \in \{1,\dots, 100\}^2$. Find the ordered pair such that $x-y\sqrt{2}$ is close to $1/3$ as possible.
First, I noted that this is minimizing $|x-y\sqrt{2}-1/3|$, but I can't use Arithmetic-Geometric mean because $-1/3, -y\sqrt{2}$ are not positive, and I can't see Cauchy being useful either. Any inequality that could be helpful here?