Problem

erdos:793

Let $F(n)$ be the largest $A\subseteq\{1,\dots,n\}$ with $a\nmid bc$ for distinct $a,b,c\in A$ . Is $F(n)=\pi(n)+(C+o(1))\,n^{2/3}(\log n)^{-2}$ for some constant $C$ ?

Open Current State

Declared status: proved (Lean)
Formalization: not formalized
Subjects: number theory
OEIS: possible
Sources: source:erdos-problemssource:jayyhk-erdos-leansource:vibemathed
Statement: www.erdosproblems.com

Matching claims

0

No direct claims

This problem has no directly related claim record.

Browse this Repository’s Claims