Предположим, что мы нашли такое число, обозначим его Х. Рассмотрим его
разложение на простые множители. Если в этом разложении есть хотя бы два
различных простых числа a и b и разложение состоит более чем из двух можителей
(т.е. Х=a*b*c, где c – некоторое натуральное число, большее 1), то Х делится на 1, на
a, на b, на a*b и на c. Заметим, что 1, a, b и a*b – различные натуральные числа. Так
как Х должно делиться ровно на четыре натуральных числа, меньших себя самих, то
либо c=a, либо c=b, либо c=a*b. Но в таком случае число Х будет делиться либо на a2,
либо на b2, что в свою очередь не равно ни одному из чисел 1, a, b и a*b. Получили
противоречие. Если Х=a*b, где a и b – различные простые числа, то натуральные
числа, меньшие Х, которые делят Х, – это только 1, a и b. Значит, в разложении числа
Х на простые множители не может быть двух различных простых чисел. Тогда число
Х есть некоторая степень простого числа (а так как нужно найти наименьшее такое
Х, то Х – степень двойки). Натуральные числа, меньшие 23, делящие 23, – это только
1, 2 и 4. Значит, степень должна быть больше 3. 24 делят как раз только 1, 2, 4 и 8.
Значит, наименьшее натуральное число, которое делится ровно на четыре
натуральных числа, меньших себя самого, равно 24=16.