Увы, похоже, что
Лукомор даже не пытается вникнуть в наши разъяснения. Так что я, пожалуй, тоже буду игнорировать его высказывания. В отместку.
PAV писал(а):
мы обсуждаем задачу, в которой используются классические натуральные числа, удовлетворяющие аксиомам Пеано.
Да, но в радикальном нестандартном анализе нет "неклассических" натуральных чисел, и аксиомы Пеано там не нарушаются.

Someone писал(а):
это -- вопрос вкуса
Ни в малейшей степени. В противном случае Вам придётся указать конкретный номер шара, оставшегося в ящике.
Вы по какой-то причине настаиваете на непрерывности именно функции

. Как я уже говорил, мне она тоже кажется естественной, но я не разделяю Вашу категоричность. Почему бы, например, не положить

? Ведь тогда

, что тоже естественно. Разумеется, при этом

не стремится к

, но ведь условия никак не оговаривают содержимое ящика в момент

и неявно предлагают домысливать его из вкусовых соображений, а извращенный вкус -- это тоже вкус.
