Skip to content

Erdős Problems

1,217 source-owned questions · 604 with a formal statement · searchable by statement, number, topic and source status.

Add a contributionCollection details
Collection coverage

Collection coverage

Source status, exact formal material, and reviewed Results are separate signals.

  • Open per source608
  • Resolved per source556
  • Other source status53
Exact formal statement available604 / 1,217
With Repository-reviewed evidence2 / 1,217
More filters

Coverage is source-observation coverage, not Problem completeness. Inspect coverage

Problems

48 Problems · 1 with reviewed evidence

NumberQuestionOpen
#45Let k≥2k\geq 2. Is there an integer nkn_k such that, if D={1<d<nk:d∣nk}D=\{ 1<d<n_k : d\mid n_k\}, then for any kk-colouring of DD there is a monochromatic subset D′⊆DD'\subseteq D such that ∑d∈D′1d=1\sum_{d\in D'}\frac{1}{d}=1?proved (Lean)Formalized
#46Does every finite colouring of the integers have a monochromatic solution to 1=∑1ni1=\sum \frac{1}{n_i} with 2≤n1<⋯<nk2\leq n_1<\cdots <n_k?proved (Lean)Formalized
#47If δ>0\delta>0 and NN is sufficiently large in terms of δ\delta, and A⊆{1,…,N}A\subseteq\{1,\ldots,N\} is such that ∑a∈A1a>δlog⁡N\sum_{a\in A}\frac{1}{a}>\delta \log N then must there exist S⊆AS\subseteq A such that ∑n∈S1n=1\sum_{n\in S}\frac{1}{n}=1?proved (Lean)Formalized
#148No statement retained — open to read what the source holdsopenNo formal declaration
#206Let x>0x>0 be a real number. For any n≥1n\geq 1 let Rn(x)=∑i=1n1mi<xR_n(x) = \sum_{i=1}^n\frac{1}{m_i}<x be the maximal sum of nn distinct unit fractions which is <x<x.disproved (Lean)Formalized
#242For every n>2n>2 there exist distinct integers 1≤x<y<z1 ≤ x < y < z such that 4n=1x+1y+1z\frac 4 n = \frac 1 x + \frac 1 y + \frac 1 z.falsifiableFormalized
#282Let A⊆NA\subseteq \mathbb{N} be an infinite set and consider the following greedy algorithm for a rational x∈(0,1)x\in (0,1): choose the minimal n∈An\in A such that n≥1/xn\geq 1/x and repeat with xx replaced by x−1nx-\frac{1}{n}. If this terminates after finitely many steps then this produces a representation of xx as the sum of distinct unit fractions with denominators from AA.openFormalized
#283Let p ⁣:Z→Zp\colon \mathbb{Z} \rightarrow \mathbb{Z} be a polynomial whose leading coefficient is positive and such that there exists no d≥2d≥2 with d∣p(n)d ∣ p(n) for all n≥1n≥1. Is it true that, for all sufficiently large mm, there exist integers 1≤n1<⋯<nk1≤n_1<\dots < n_k such that 1=1n1+⋯+1nk1=\frac{1}{n_1}+\cdots+\frac{1}{n_k} and m=p(n1)+⋯+p(nk)m=p(n_1)+\cdots+p(n_k)?proved (Lean)Formalized
#284No statement retained — open to read what the source holdsprovedNo formal declaration
#285Let f(k)f(k) be the minimal value of nkn_k such that there exist n1<n2<⋯<nkn_1 < n_2 < \dots < n_k with 1=1n1+⋯+1nk. 1 = \frac{1}{n_1} + \cdots + \frac{1}{n_k}. Is it true that f(k)=(1+o(1))ee−1k? f(k) = (1 + o(1)) \frac{e}{e - 1} k ? provedFormalized
#286No statement retained — open to read what the source holdsprovedNo formal declaration
#287Let k≥2k\geq2. Is it true that, for any distinct integers 1<n1<⋯<nk1 < n_1 < \cdots < n_k such that ∑i=1k1ni=1\sum_{i=1}^k \frac{1}{n_i} = 1, we must have max⁡(ni+1−ni)≥3\max(n_{i+1} - n_i) \geq 3?falsifiableFormalized
#288Is it true that there are only finitely many pairs of intervals I1I_1, I2I_2 such that ∑n1∈I11n1+∑n2∈I21n2∈N? \sum_{n_1 \in I_1} \frac{1}{n_1} + \sum_{n_2 \in I_2} \frac{1}{n_2} \in \mathbb{N}? openFormalized
#289Is it true that, for all sufficiently large kk, there exists finite intervals I1,…,Ik⊂NI_1, \dotsc, I_k \subset \mathbb{N} with ∣Ii∣≥2|I_i| \geq 2 for 1≤i≤k1 \leq i \leq k such that 1=∑i=1k∑n∈Ii1n. 1 = \sum_{i=1}^k \sum_{n \in I_i} \frac{1}{n}. openFormalized
#290Let a≥1a\geq 1. Must there exist some b>ab>a such that ∑a≤n≤b1n=r1s1 and ∑a≤n≤b+11n=r2s2,\sum_{a\leq n\leq b}\frac{1}{n}=\frac{r_1}{s_1}\textrm{ and } \sum_{a\leq n\leq b+1}\frac{1}{n}=\frac{r_2}{s_2}, with (ri,si)=1(r_i,s_i)=1 and s2<s1s_2<s_1? If so, how does this b(a)b(a) grow with aa?proved (Lean)Formalized
#291Let n≥1n\geq 1 and define LnL_n to be the least common multiple of {1,…,n}\{1,\ldots,n\} and ana_n by ∑1≤k≤n1k=anLn\sum_{1\leq k\leq n}\frac{1}{k}=\frac{a_n}{L_n}.openFormalized
#292No statement retained — open to read what the source holdsprovedNo formal declaration
#293No statement retained — open to read what the source holdsopenNo formal declaration
#294No statement retained — open to read what the source holdsprovedNo formal declaration
#295Let k(N)k(N) denote the smallest kk such that there exists N≤n1<⋯<nkN ≤ n_1 < ⋯ < n_k with 1n1+...+1nk=1\frac 1 {n_1} + ... + \frac 1 {n_k} = 1openFormalized
#296Let N≥1N\geq 1 and let k(N)k(N) be maximal such that there are kk disjoint A1,…,Ak⊆{1,…,N}A_1,\ldots,A_k\subseteq \{1,\ldots,N\} with ∑n∈Ai1n=1\sum_{n\in A_i}\frac{1}{n}=1 for all ii. Estimate k(N)k(N). Is it true that k(N)=o(log⁡N)k(N)=o(\log N)?proved (Lean)Formalized
#297No statement retained — open to read what the source holdssolvedNo formal declaration
#298Does every set A⊆NA \subseteq \mathbb{N} of positive density contain some finite S⊂AS \subset A such that ∑n∈S1n=1\sum_{n \in S} \frac{1}{n} = 1?proved (Lean)Formalized
#299Is there an infinite sequence a1<a2<…a_1 < a_2 < \dots such that ai+1−ai=O(1)a_{i+1} - a_i = O(1) and no finite sum of 1ai\frac{1}{a_i} is equal to 1?disproved (Lean)Formalized
#300No statement retained — open to read what the source holdssolvedNo formal declaration
#301No statement retained — open to read what the source holdsopenNo formal declaration
#302Let f(N)f(N) be the size of the largest A⊆{1,…,N}A\subseteq \{1,\ldots,N\} such that there are no solutions to 1a=1b+1c\frac{1}{a}= \frac{1}{b}+\frac{1}{c} with distinct a,b,c∈Aa,b,c\in A? Estimate f(N)f(N).openFormalized
#303Is it true that in any finite colouring of the integers there exists a monochromatic solution to 1a=1b+1c\frac 1 a = \frac 1 b + \frac 1 c with distinct a,b,ca, b, c?proved (Lean)Formalized
#304Is it true that N(b)≪log⁡log⁡bN(b) \ll \log \log b?openFormalized
#305No statement retained — open to read what the source holdsprovedNo formal declaration
#306Let ab∈Q>0\frac a b\in \mathbb{Q}_{>0} with bb squarefree. Are there integers 1<n1<⋯<nk1 < n_1 < \dots < n_k, each the product of two distinct primes, such that ab=1n1+⋯+1nk\frac{a}{b}=\frac{1}{n_1}+\cdots+\frac{1}{n_k}?openFormalized
#307Are there two finite set of primes PP and QQ such thatverifiableFormalized
#308No statement retained — open to read what the source holdsprovedNo formal declaration
#309No statement retained — open to read what the source holdsdisprovedNo formal declaration
#310No statement retained — open to read what the source holdsprovedNo formal declaration
#311No statement retained — open to read what the source holdsopenNo formal declaration
#312Does there exist a constant c > 0 such that, for any K > 1, whenever A is a sufficiently large finite multiset of integers with ∑n∈A1/n>K\sum_{n \in A} 1/n > K there exists some S⊆AS \subseteq A such that 1−exp⁡(−(c∗K))<∑n∈S1/n≤11 - \exp(-(c*K)) < \sum_{n \in S} 1/n \le 1?openFormalized
#313Are there infinitely many pairs (m, P) where m ≥ 2 is an integer and P is a set of distinct primes such that the following equation holds: ∑p∈P1p=1−1m\sum_{p \in P} \frac{1}{p} = 1 - \frac{1}{m}?openFormalized
#314Let n≥1n\geq 1 and let mm be minimal such that ∑n≤k≤m1k≥1\sum_{n\leq k\leq m}\frac{1}{k}\geq 1. We define ϵ(n)=∑n≤k≤m1k−1.\epsilon(n) = \sum_{n\leq k\leq m}\frac{1}{k}-1. How small can ϵ(n)\epsilon(n) be? Is it true that lim inf⁡n2ϵ(n)=0?\liminf n^2\epsilon(n)=0?proved (Lean)Formalized
#315Let u1=1u_1=1 and un+1=un(un+1)u_{n+1}=u_n(u_n+1), so that ∑k≥11uk+1\sum_{k\geq 1}\frac{1}{u_k+1} and uk=⌊c02k+1⌋u_k=\lfloor c_0^{2^k}+1\rfloor for k≥1k\geq 1, where c0=lim⁡un1/2n=1.264085⋯ .c_0=\lim u_n^{1/2^n}=1.264085\cdots. Let a1<a2<⋯a_1<a_2<\cdots be any other sequence with ∑1ak=1\sum \frac{1}{a_k}=1. Is it true that lim inf⁡an1/2n<c0=1.264085⋯?\liminf a_n^{1/2^n}<c_0=1.264085\cdots?proved (Lean)Formalized
#316Is it true that if A⊆N∖{1}A \subseteq \mathbb{N}\setminus\{1\} is a finite set with ∑n∈A1n<2\sum_{n \in A} \frac{1}{n} < 2 then there is a partition A=A1⊔A2A=A_1 \sqcup A_2 such that ∑n∈Ai1n<1\sum_{n \in A_i} \frac{1}{n} < 1 for i=1,2i=1,2?disproved (Lean)Formalized
#317Inequality in erdos_317.variants.claim2 is obvious, the problem is strict inequality.openFormalized
#318There exists a set A with positive density that does not have property P₁. #TODO: prove this lemma by assuming erdos_318.contain_single_even.solvedFormalized
#319What 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 ∑n∈Aδnn=0 \sum_{n\in A} \frac{\delta n}{n} = 0 and ∑n∈A′δnn≠0 \sum_{n\in A'}\frac{\delta n}{n} \neq 0 for all non-empty A′⊊AA'\subsetneq A.openFormalized
#320No statement retained — open to read what the source holdssolvedNo formal declaration
#321Let R(N)R(N) be the size of the largest A⊆{1,...,N}A\subseteq\{1, ..., N\} such that all sums ∑n∈S1n\sum_{n\in S} \frac{1}{n} are distinct for S⊆AS\subseteq A. What is R(N)R(N)?solvedFormalizedResult accepted
#327No statement retained — open to read what the source holdsopenNo formal declaration
#355Is there a lacunary sequence A⊆NA\subseteq \mathbb{N} (so that A={a1<⋯ }A=\{a_1 < \cdots\} and there exists some λ>1\lambda > 1 such that an+1/an≥λa_{n+1}/a_n\geq \lambda for all n≥1n\geq 1) such that {∑a∈A′1a:A′⊆A finite}\left\{ \sum_{a\in A'}\frac{1}{a} : A'\subseteq A\textrm{ finite}\right\} contain all rationals in some open interval?proved (Lean)Formalized

Search problems.science

Find a Problem, Result, source, or page