growsPolynomially_pow

Mathlib.Computability.AkraBazzi.GrowsPolynomially

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

English

For any natural p, x^p grows polynomially.

Русский

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

LaTeX

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

Lean4

theorem growsPolynomially_pow (p : ℕ) : GrowsPolynomially fun x => x ^ p :=
  (growsPolynomially_id).pow p (eventually_ge_atTop 0)

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

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

Разделы

Аффилиация

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