infinitesimal_epsilon

Mathlib.Analysis.Real.Hyperreal

URI: https://scilib.ai/kg/mathlib#Hyperreal.infinitesimal_epsilon

English

There exists an infinitesimal ε, obtained as the reciprocal of natural numbers.

Русский

Существует инфинитезимальная величина ε, полученная как обратное последовательности 1/n.

LaTeX

$$$ \operatorname{Infinitesimal}(\varepsilon) $$$

Lean4

theorem infinitesimal_epsilon : Infinitesimal ε :=
  infinitesimal_of_tendsto_zero tendsto_inverse_atTop_nhds_zero_nat

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru