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

No current result

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

1False ↔ ∀ (δ : ℕ → ℕ → ℝ), (∀ (a b : ℕ), Erdos692.IsDelta₁ a b (δ a b)) → ∀ (n : ℕ), UnimodularOn (δ n) (n + 1)

Reported activity

Reported by these sources. Not reviewed here.

• Formalization

  Erdős AI contributions wiki · 2 Apr, 2026

  Machine

  Aristotle

  Open the source record