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

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

, что 

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

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

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

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

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

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

, 

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

. Значение 

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