tendsto_sigmoid_atTop

Mathlib.Analysis.SpecialFunctions.Sigmoid

URI: https://scilib.ai/kg/mathlib#unitInterval.tendsto_sigmoid_atTop

English

As x tends to +∞, the sigmoid function tends to 1.

Русский

При стремлении x к +∞ сигмоидная функция стремится к 1.

LaTeX

$$$\lim_{x\to +\infty} \operatorname{sigmoid}(x) = 1$$$

Lean4

theorem tendsto_sigmoid_atTop : Tendsto sigmoid atTop (𝓝 1) :=
  tendsto_subtype_rng.mpr Real.tendsto_sigmoid_atTop

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

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

Разделы

Аффилиация

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