Skip to published state

Erdős problem / erdos

open offer

Problem 417

Exact records and bounded producer offers matched to this problem.

Current bounded offer

rank 15
availableerdos:417
Erdős 417
Advance Erdős problem 417 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:417
  2. Packetsite/problems/417.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/417.json
Packet root
sha256:79422666a5bda59d075dfa4063902382311eb70fb7d7be58258ea4b1a0188a5b

Matching finding records

1 records

  1. vf_15b36eb9eec45a4f

    theoretical

    Erdős Problem #417: declared status 'open'. Formalized: yes. LetV′(x)=#{ϕ(m):1≤m≤x}V'(x)=\#\{\phi(m) : 1\leq m\leq x\}andV(x)=#{ϕ(m)≤x:1≤m}.V(x)=\#\{\phi(m) \leq x : 1\leq m\}.Does lim⁡V(x)/V′(x)\lim V(x)/V'(x) exist? Is it >1>1? Prize: no. OEIS: A061070, A264810. Tags: number theory.

    recordedOpen record