MathDB

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

5