Предположим противное, то есть то, что Вася всегда сможет выписать очередное число. В силу попарного различия выписываемых чисел, их множество неограниченно.

Рассмотрим первые 9 чисел. Пусть у них есть общий делитель . Заменим теперь последнее число (9-ое в последовательности) на 10-ое в последовательности. Чисел снова 9 и у них должен быть общий делитель . Если при этом , то можно взять первые 10 чисел и у них окажется общий делитель , противоречие. Значит, и взаимно просты. Далее заменяем 10-ое число на 11-ое и так далее. Получаем бесконечное множество чисел, поскольку они попарно взаимно просты. Но все эти числа делят первые 8 чисел множества, у которых множество делителей, очевидно, ограничено. Противоречие. Следовательно, в какой-то момент Вася не сможет выписать очередное число.