Найдите наибольшее k такое, что для любого натурального n найдётся по крайней мере k чисел, являющихся элементами множества 

, взаимно простых с 

(Попыталась попытаться)
Может, я условие задачи не поняла, но у меня в ответе вышла единичка.
При 

 только 15016 будет взаимно простым с 

Нуль получить, по-моему, невозможно.
Действительно, 

 обязано быть взаимно простым с n, следовательно должно иметь общий делитель с 

 (и делитель этот должен быть чётным), значит 

 - чётное число.
С другой стороны, 

 обязано быть взаимно простым с 

, следовательно должно иметь общий делитель с n (и делитель этот должен быть чётным), значит n - чётное число.
Но 

 и n могут быть оба чётными только в сказке. 
Противоречие.
Но меня по-прежнему не оставляет ощущение того, что я неправильно поняла условие задачи.