OIM 2023 Problem 1

Seja $n$ um inteiro positivo. Realizam-se as 35 multiplicações:

$1 \cdot n, 2 \cdot n, \ldots, 35 \cdot n$

Demonstre que em algum destes resultados aparece ao menos uma vez o dígito 7.

A model read this text from the scan of the paper by OCR, with vision/local (GLM-OCR-8bit). No person has checked it against the paper yet.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.