fermatNumber

Mathlib.NumberTheory.Fermat

URI: https://scilib.ai/kg/mathlib#Nat.fermatNumber

English

The nth Fermat number is defined by F_n = 2^{2^n} + 1.

Русский

Число Ферма n-е определяется как F_n = 2^{2^n} + 1.

LaTeX

$$$F_n = 2^{2^n} + 1$$$

Lean4

/-- Fermat numbers: the `n`-th Fermat number is defined as `2^(2^n) + 1`. -/
def fermatNumber (n : ℕ) : ℕ :=
  2 ^ (2 ^ n) + 1

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

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

Разделы

Аффилиация

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