growsPolynomially_rpow

Mathlib.Computability.AkraBazzi.GrowsPolynomially

URI: https://scilib.ai/kg/mathlib#AkraBazziRecurrence.growsPolynomially_rpow

English

For any real p, x^p grows polynomially as x → ∞.

Русский

Для любого вещественного p функция x^p растёт полиномиально по мере x → ∞.

LaTeX

$$$\\forall p \\in \\mathbb{R},\\; \\text{GrowsPolynomially}(x \\mapsto x^{p})$$$

Lean4

theorem growsPolynomially_rpow (p : ℝ) : GrowsPolynomially fun x => x ^ p :=
  (growsPolynomially_id).rpow p (eventually_ge_atTop 0)

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

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

Разделы

Аффилиация

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