Будем рассматривать только числа, в записи которых использованы все 10 цифр.
Одна из трёх первых цифр — 7; другая — либо 1 либо 8; третья — либо 2 либо 9.
Оставшиеся 7 цифр дают 7 разных остатков при делении на 7.
Разобьём их на орбиты, по 7 чисел в каждой.
Каждый из остатков от деления семи последних цифр увеличим на 1, и заменим на цифру из множества семи последних цифр, дающую тот же остаток. Повторив это 7 раз получим исходное число. Числа от исходного до шестого образуют орбиту.Остаток от деления на 7 каждого следующего числа в орбите равен остатку предыдущего увеличенному на 1111111=1 (т.к. 1111110 кратно 7).
Таким образом, в каждой орбите найдётся ровно одно число, кратное 7.
Первые 3 цифры можно выбрать 24 способами; последние 7 — 5040 способами, из которых подходят 720 (т.к. 5040 чисел образуют 720 орбит).
Следовательно, существует искомое множество из не менее чем из
чисел.
(Оффтоп)
С точки зрения теории вероятностей:Всего есть
чисел, в записи которых использованы все 10 цифр.
В среднем, они дают все остатки от деления на 7 по
466560 раз.