Запишем условие для откуда Далее, затем Можно продолжить, а можно сразу выразить Нетрудно видеть, что для такое число всегда будет составным, поэтому остаётся показать, что для (заметим, что для это не выполнено) сохраняется равенство

Итак, мы проверили, что при этом — составное, поэтому мы нашли нужную последовательность, остаётся посчитать