Skip to content

Erdős problem 448

Let τ(n)\tau(n) count the divisors of nn and τ+(n)\tau^+(n) count the number of kk such that nn has a divisor in [2k,2k+1)[2^k, 2^{k+1}). Is it true that, for all ϵ>0\epsilon > 0, τ+(n)<ϵτ(n) \tau^+(n) < \epsilon \cdot \tau(n) for almost all nn?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/448.lean

Formal Conjectures

FormalConjectures/ErdosProblems/448.leanErdos448.erdos_4481 lineExact file
False ↔ ∀ (ε : ℝ), 0 < ε → {n | ↑(Erdos448.tauPlus n) < ε * ↑n.divisors.card}.HasDensity 1
SolvedStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page