Prove that there exists a positive integer N such that there are at least 2005 ordered pairs (x, y), of non-negative integers x and y, satisfying x2+y2=N.
This is easy if you use Schinzel's Theorem: https://mathworld.wolfram.com/SchinzelsTheorem.html