Is it true that, for any $n$ , if $d_{1} < \dots < d_{t}$ are the divisors of $n$ , then $1 \leq i < j \leq t \sum \frac{1}{d _{j} - d _{i}} ≪ 1 + 1 \leq i < t \sum \frac{1}{d _{i + 1} - d _{i}},$ where the implied constant is absolute?

Worked, still open.

number theory · solved · formalized (Lean) · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

evidence

unverified AI candidates (2)

gpt-erdos · GPT-5.2 Pro + Deep Research · unverified

This question is *exactly* **Erdős Problem #884**. ([Erdős Problems][1])

llm-hunter · gpt pro 5.2 · unverified

1 LLM attack(s) recorded (gpt pro 5.2); unverified.

AMS 11 · solved (literature)

theorem erdos_884 :
    answer(False) ↔ Erdos884Prop

solved