Skip to content
Home
Problems
Updates
Vela Mathematics Program
/
Problems
/
267
Search or jump
⌘K
Overview
Problem ledger
Claims
Proposed changes
Commits
Reproduce
Problem
erdos:267
If
n
1
<
n
2
<
⋯
n_1 < n_2 < \cdots
with
n
k
+
1
/
n
k
≥
c
>
1
n_{k+1}/n_k \ge c > 1
, must
∑
k
1
/
F
n
k
\sum_k 1/F_{n_k}
be irrational? The proposed proof closes the range
1
<
c
<
2
1 < c < 2
left open by earlier criteria.
Open Current State
Declared status
open
Formalization
formalized
Subjects
irrationality
OEIS
N/A
Sources
source:erdos-problems
·
source:formal-conjectures
·
source:vibemathed
·
source:williamjblair-lean-proofs
Statement
www.erdosproblems.com
Matching claims
0
No direct claims
This problem has no directly related claim record.
Browse this Repository’s Claims