Is there an infinite sequence $a_{1} < a_{2} < \dots$ such that $a_{i + 1} - a_{i} = O (1)$ and no finite sum of $\frac{1}{a _{i}}$ is equal to $1$ ?

Worked, still open.

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

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

links

solved