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?

Sources

Browse retained paths and inspect the exact material available for this Problem.

8 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

448.lean

Retained formal statement7 of 8

Sanity check: τ+(6)=3\tau^+(6) = 3. Divisors 1,2,3,61, 2, 3, 6 lie in dyadic blocks k=0,1,1,2k = 0, 1, 1, 2, so the distinct blocks are {0,1,2}\{0, 1, 2\}. (τ(6)=4\tau(6) = 4.)

FormalConjectures/ErdosProblems/448.leanErdos448.tauPlus_six1 lineExact file
Erdos448.tauPlus 6 = 3
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page