Царь нигилистов 5 (СИ)

Тогда по теореме о двух милиционерах, предел последовательности с x тоже равен e.

— По какой теореме? — переспросил Остроградский.

— О двух полицейских, — поправился Саша, — точнее, городовых. Ну, о промежуточной последовательности.

— А! — кивнул Остроградский. — Странно вы её называете. Теперь докажите теорему о промежуточной последовательности.

И Саша понял, что Остроградский и правда зверь.

В 179-й Саша он её точно доказывал. И в прошлом году, после визита к Елене Павловне, её доказывал Никса. Правда не идеально.

— Надо исходить из определения, — предположил Саша. — Позвольте я напишу определение предела.

— Пишите, — разрешил Остроградский.

И Саша написал его в точности так, как учили в 179-й школе, с помощью кванторов.

— Число a называется пределом последовательности, если для любого положительного эпсилон существует N, такое что при любом n N выполняется неравенство: «модуль разности энного члена последовательности и предела меньше эпсилон».

Остроградский посмотрел как-то странно.

— Поставленная вверх ногами заглавная «А» — это «для любого», да? — спросил он.

— Да, это квантор «для любого».

Въедливый, конечно, препод. Но зря надеется физмат школьника на кванторах поймать!

— А повернутая назад заглавная «Е» — это «существует»? — спросил учёный.

— Да, квантор существования.

И Саша нарисовал и подписал кванторы справа от определения.

— «Квантор» — это от латинского «quantum»? — поинтересовался академик.

Саша растерялся. Откуда взялось слово «квантор» он ни фига не знал.

— Мне очень не хватает латыни, — признался он. — «Quantum»? Сколько?

— Да, верно, — кивнул Остроградский.

— Всё правильно? — спросил Саша.

Остроградский поморщился.

— У вас очень необычная терминология, — заметил он. — Я нигде раньше не встречал кванторы. Почему «для любого» так обозначается?

— Наверное, от слова «All», — предположил Саша.

— Это из английского?

— Да.

— Тогда с существованием понятно. От латинского «existere». Но почему английский?

— Я его знаю лучше остальных, — сказал Саша.

— В этих ваших «кванторах» что-то есть, — сказал академик, — удобная короткая запись. Если конечно привыкнуть. Ну! Доказывайте!

С определением дело пошло на лад, Саша быстро составил нужные неравенства, и теорема доказалась.

— Угу! — сказал Остроградский. — Теперь запишите определение предела функции.

Нет, всё-тки Остроградский не совсем зверь. Если бы он спросил теорему Коши, Саша бы точно засыпался.