Erdős problem 884
For a natural number n, let denote the divisors of n in increasing order. Does it hold that for , i.e. \sum_{1 \le i < j \le \tau(n)} \frac{1}{d_j - d_i} \in O \left( 1 + \sum_{1 \le i < \tau(n)} \frac{1}{d_{i + 1} - d_i}) \right)?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/884.leanFalse ↔ Erdos884.Erdos884PropProof manifests naming this Problem
- Jayyhk Erdős Lean
jayyhk:erdos:884