MathNet 2021 — Phần 07 Câu hỏi 74

Một số nguyên dương được gọi là may mắn nếu nó chia hết cho $7$ và tổng các chữ số của nó cũng chia hết cho $7$. Cho một số nguyên dương $n$. Chứng minh rằng tồn tại số may mắn $\ell$ sao cho $|n-\ell|\leq70$.