trans_tendsto

Mathlib.Analysis.Asymptotics.Lemmas

URI: https://scilib.ai/kg/mathlib#Asymptotics.IsLittleO.trans_tendsto

English

If f'' = O_l f'' and g'' → 0 along l, then f'' → 0 along l.

Русский

Если f'' = O_l g'' и g''(x) → 0 вдоль l, то f''(x) → 0 вдоль l.

LaTeX

$$$ \text{If } f'' =O[l] g'' \text{ and } Tendsto g'' l (\mathcal{N}0), \text{ then } Tendsto f'' l (\mathcal{N}0). $$$

Lean4

theorem trans_tendsto (hfg : f'' =o[l] g'') (hg : Tendsto g'' l (𝓝 0)) : Tendsto f'' l (𝓝 0) :=
  hfg.isBigO.trans_tendsto hg

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

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

Разделы

Аффилиация

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