cardFactors — Mathlib

English

Ω(n) counts the total number of prime factors of n, counting multiplicity. If n = ∏ p^{a_p}, then Ω(n) = ∑ a_p.

Русский

Ω(n) подсчитывает общее число простых делителей числа n с учетом кратностей. Пусть n = ∏ p^{a_p}, тогда Ω(n) = ∑ a_p.

LaTeX

$$$$\Omega(n) = \sum_{p^{a} \parallel n} a$$$$

Lean4

/-- `Ω n` is the number of prime factors of `n`. -/
def cardFactors : ArithmeticFunction ℕ :=
  ⟨fun n => n.primeFactorsList.length, by simp⟩

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