Skip to content

Erdős problem 442

Let Logx:=max{logx,1}\operatorname{Log} x := \max\{\log x, 1\}, Log2x=Log(Logx)\operatorname{Log}_2x = \operatorname{Log} (\operatorname{Log} x), and Log3x=Log(Log(Logx)).\operatorname{Log}_3x = \operatorname{Log}(\operatorname{Log}(\operatorname{Log} x)). Is it true that if ANA\subseteq\mathbb{N} is such that 1Log2xnA:nx1n \frac{1}{\operatorname{Log}_2 x} \sum_{n\in A: n\leq x} \frac{1}{n}\to\infty then (nA:nx1n)2n,mA:n<mx1lcm(n,m) \left(\sum_{n\in A: n\leq x} \frac{1}{n}\right)^2 \sum_{n, m \in A: n < m \leq x} \frac{1}{\operatorname{lcm}(n, m)}\to\infty as xx\to\infty?
Retained from Formal Conjectures · not edited here
Formal statements
2 solved
Erdős Problems says
disproved
Decision here
No current contribution
Checks
0 checks · 2 formal

Current Result

Accepted in Vela Mathematics Program

Current Result

No result has been accepted here yet.

Type
Evidence
0 artifacts
Decision
None
Reviewed
No date retained

Search problems.science

Find a Problem, Result, source, or page