Erdős problem 448
Let count the divisors of and count the number of such that has a divisor in . Is it true that, for all , for almost all ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/448.leanFalse ↔ ∀ (ε : ℝ), 0 < ε → {n | ↑(Erdos448.tauPlus n) < ε * ↑n.divisors.card}.HasDensity 1SolvedStatement only, no proof