MathNet 2021 — Part 07 Question 74

A positive integer is called lucky if it is divisible by $7$, and the sum of its digits is also divisible by $7$. Fix a positive integer $n$. Show that there exists some lucky integer $\ell$ such that $|n-\ell| \leq 70$.