Problem

Source: PMO 2021

Tags: algebra, number theory, PMO



A positive integer is called $\emph{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 $l$ such that $\left|n - l\right| \leq 70$.