Skip to content

Erdős problem 692

Let δ1(n,m)\delta_1(n,m) be the density of the set of integers with exactly one divisor in (n,m)(n,m). Is δ1(n,m)\delta_1(n,m) unimodular for m>n+1m>n+1 (i.e. increases until some mm then decreases thereafter)?

Sources

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

692.lean

Retained formal statement4 of 5

Cambie has calculated that unimodularity fails even for n=2n=2 and n=3n=3. For example, δ1(3,6)=0.35δ1(3,7)≈0.33δ1(3,8)≈0.3619.\delta_1(3,6)= 0.35\quad \delta_1(3,7)\approx 0.33\quad \delta_1(3,8)\approx 0.3619.

FormalConjectures/ErdosProblems/692.leanErdos692.erdos_692.variants.cambie_three1 lineExact file
∀ (δ : ℕ → ℕ → ℝ), (∀ (a b : ℕ), Erdos692.IsDelta₁ a b (δ a b)) → δ 3 7 < δ 3 6 ∧ δ 3 7 < δ 3 8
SolvedStatement only, no proof