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)?
- Formal statements
- 2 solved
- Erdős Problems says
- disproved (Lean)
- Decision here
- No current contribution
- Checks
- 0 checks · 2 formal
Current Result
Current Result
No result has been accepted here yet.
- Type
- —
- Evidence
- 0 artifacts
- Decision
- None
- Reviewed
- No date retained