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 statement8 of 8

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

FormalConjectures/ErdosProblems/448.leanErdos448.tauPlus_twelve1 lineExact file
Erdos448.tauPlus 12 = 4
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page