Skip to published state

Erdős problem / erdos

open offer

Problem 267

Exact records and bounded producer offers matched to this problem.

Current bounded offer

rank 14
availableerdos:267
Erdős 267
Advance Erdős problem 267 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.
  1. Targeterdos:267
  2. Packetsite/problems/267.json
  3. Verifiererdos-frontier.problem-work.v1
Inspect ranked work
Exact offer contractPacket, root, and verifier profile
Verifier
erdos-frontier.problem-work.v1
Packet
site/problems/267.json
Packet root
sha256:609783f2052d4c5c1ce79e8c6f4e45327a4b91072cb0dad1d276373bb0ca3c14

Matching finding records

1 records

  1. vf_f17b49c0433327ba

    theoretical

    Erdős Problem #267: declared status 'open'. Formalized: yes. Let F1=F2=1F_1=F_2=1 and Fn+1=Fn+Fn−1F_{n+1}=F_n+F_{n-1} be the Fibonacci sequence. Let n1<n2<⋯n_1<n_2<\cdots be an infinite sequence with nk+1/nk≥c>1n_{k+1}/n_k \geq c>1. Must∑k1Fnk\sum_k\frac{1}{F_{n_k}}be irrational? Prize: no. Tags: irrationality.

    recordedOpen record