Как легко видеть,

. Таким образом, задача сводится к следующей: существует ли такое натуральное

, что

составное для любого натурального

? Ответ на аналогичный вопрос для

утвердительный, соответствующие значения

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

и "покрывающее множество"

такое, что при любом

,

для некоторого

. Значение

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