Два игрока и играют в игру Угадай-ка. Правила этой игры зависят от двух положительных целых чисел и , и эти числа известны обоим игрокам.
В начале игры выбирает целые числа и такие, что . Игрок держит число в секрете, а число честно сообщает игроку . После этого игрок пытается получить информацию о числе , задавая игроку вопросы следующего типа: за один вопрос указывает по своему усмотрению множество , состоящее из целых положительных чисел (возможно, это множество уже было указано в одном из предыдущих вопросов) и спрашивает игрока принадлежит ли число множеству . Игрок может задать столько вопросов, сколько он хочет. На каждый вопрос игрока игрок должен сразу ответить да или нет, при этом ему разрешается соврать столько раз, сколько он хочет; единственное ограничение состоит в том, что из любых подряд идущих ответов хотя бы один ответ должен быть правдивым.
После того, как задаст столько вопросов, сколько он сочтет нужным, он должен указать множество , содержащее не более целых положительных чисел. Если принадлежит множеству , то игрок выиграл; иначе проиграл. Докажите, что:
1. Если , то может гарантировать себе выигрыш.
2. Для всякого достаточно большого найдется целое число , при котором игрок не сможет гарантировать себе выигрыш.