lean_workbook_plus_70767

Prove that there is an integer $k < 1000$ such that the absolute value of the difference between $k \sqrt{2}$ and its nearest integer is $< \frac{1}{1000}$ .