Skip to content

Problem

erdos:267

If n1<n2<n_1 < n_2 < \cdots with nk+1/nkc>1n_{k+1}/n_k \ge c > 1, must k1/Fnk\sum_k 1/F_{n_k} be irrational? The proposed proof closes the range 1<c<21 < c < 2 left open by earlier criteria.

Declared status
open
Formalization
formalized
OEIS
N/A

Matching claims

0
No direct claims
This problem has no directly related claim record.

Search problems.science

Find a Problem, Result, source, or page