Skip to content

Erdős problem 697

For each mm and α\alpha, the density of the set of integers which are divisible by some d1(modm)d \equiv 1 \pmod{m} with 1<d<exp(mα)1 < d < \exp (m ^ \alpha) exists.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/697.lean

Formal Conjectures

FormalConjectures/ErdosProblems/697.leanErdos697.density_exists1 lineExact file
∀ (m : ℕ) (α : ℝ), ∃ δ, {n | ∃ d, d ≡ 1 [MOD m] ∧ ↑dSet.Ioo 1 (Real.exp (↑m ^ α)) ∧ dn}.HasDensity δ
SolvedStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page