Интересно, какое наименьшее нельзя получить? Верхняя граница, как уже ясно из вышесказанного, это произведение всех простых, меньших

, то есть

. А есть ли меньше?
Обозначим наименьшее число

. Наименьший простой делитель

числа

должен быть больше ста:

, в противном случае

получается из

, а по гипотезе такое число может быть получено. Собственно, для

это выполняется. Но тогда

- нечетно, то есть

- четно.
Это число не может быть получено операцией Б, то есть из числа

, где

- наименьший делитель числа

. Но в силу четности, это двойка. Значит, мы не сможем получить число

, и вообще

для любого

. В противном случае мы бы получили и

.
Рассмотрим число

. Мы знаем, что

не делится на

.
Пусть оно равно

, тогда

, то есть

получается из

операцией А. Однако число

мы можем получить по нашей гипотезе (

- наименьшее невозможное).
Если же оно равно

, тогда

,

, и противоречий нет. Уже получаем, что

кратно

.

не делится на 5, то есть имеет место одно из значений:

. Но лучше использовать делимость на 6 и записать


не могут делиться на 5, так что исключим третий и четвертый случаи и сосредоточимся на втором.

, и это число может быть получено из

, а оно, в свою очередь, из

, которое точно может быть получено в силу нашей гипотезы. Таким образом,

должно делиться на

.
Кажется, что так мы может дойти и до

, как минимального. Но с семеркой эти рассуждения уже не работают, соответственно, обобщать не так-то просто, как кажется.