Erdős Problem #267
Prior state unknown→proved
If $n_1 < n_2 < \cdots$ with $n_{k+1}/n_k \ge c > 1$, must $\sum_k 1/F_{n_k}$ be irrational? The proposed proof closes the range $1 < c < 2$ left open by earlier criteria.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review