Skip to content

Problems · Vela Mathematics Program

Narrowed todisproved (Lean) ×unit fractions ×Clear all

Problem ledger

3 problemsGraph view
declared disproved (Lean) · formalizederdos:206
False ↔ ∀ᵐ (x : ℝ) ∂MeasureTheory.volume.restrict (Set.Ioi 0), Erdos206.EventuallyGreedy x
number theoryunit fractionsN/A5 sources
declared disproved (Lean) · formalizederdos:299
False ↔ ∃ a, StrictMono a ∧ (∀ (n : ℕ), 0 < a n) ∧ (fun n => ↑(a (n + 1)) - ↑(a n)) =O[Filter.atTop] 1 ∧ ∀ (S : Finset ℕ), ∑ i ∈ S, 1 / ↑(a i) ≠ 1
number theoryunit fractionsN/A4 sources
declared disproved (Lean) · formalizederdos:316
False ↔ ∀ (A : Finset ℕ), 0 ∉ A → 1 ∉ A → ∑ n ∈ A, 1 / ↑n < 2 → ∃ A₁ A₂, Disjoint A₁ A₂ ∧ A = A₁ ∪ A₂ ∧ ∑ n ∈ A₁, 1 / ↑n < 1 ∧ ∑ n ∈ A₂, 1 / ↑n < 1
number theoryunit fractionsN/A4 sources

Search problems.science

Find a Problem, Result, source, or page