Pseudoperfect — Mathlib

English

A positive natural number n is pseudoperfect if there exists a subset of proper divisors summing to n.

Русский

Положительное число n называется псевдоперфектным, если существует подмножество делителей n, сумма которого равна n.

LaTeX

$$∃ s ⊆ properDivisors(n), ∑ i ∈ s i = n$$

Lean4

/-- A positive natural number `n` is _pseudoperfect_ if there exists a subset of the proper
  divisors of `n` such that the sum of that subset is equal to `n`. -/
def Pseudoperfect (n : ℕ) : Prop :=
  0 < n ∧ ∃ s ⊆ properDivisors n, ∑ i ∈ s, i = n

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