Skip to content

Erdős problem 319

What is the size of the largest A{1,,N}A\subseteq\{1, \dots, N\} such that there is a function δ:A{1,1}\delta : A \to \{-1, 1\} such that nAδnn=0 \sum_{n\in A} \frac{\delta n}{n} = 0 and nAδnn0 \sum_{n\in A'}\frac{\delta n}{n} \neq 0 for all non-empty AAA'\subsetneq A.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/319.lean

Formal Conjectures

FormalConjectures/ErdosProblems/319.leanErdos319.erdos_3197 linesExact file
∀ (N : ℕ),  IsGreatest    {x |A,        ∃ (_ : AFinset.Icc 1 N) (_ :          ∃ δ, ∑ nA, ↑↑(δ n) / ↑n = 0 ∧ ∀ A'A, A'.Nonempty → ∑ nA', ↑↑(δ n) / ↑n ≠ 0), A.card = x}    sorry
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page