Erdős problem 454
Is it true that limsup (fun n => (f n - 2 * n.nth Prime : ℕ∞)) atTop = ⊤?
Result history
No result history yet
No proposed change is retained for this Problem, so there is nothing to show a decision on.
Correction history
No correction history
Technical details
Exact provenance
- Problem row
- sha256:9223d6d4075109c6b9dc1a0d5461add059d58fa8fed16bbf1f606eb3a0467bae
- Metadata
- sha256:95f8282032a7e116a5f8d9fa99e1a3977c376ae170ca7e91d136392468f15c9d
- Observation
- sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067
- Content
- sha256:ea751b164014942b4ae9e12386bf87d4eebf09021c26982f10fbb17c05c44fda
- Repository
- sha256:a956b84c437202e5a02cc9e036a621bd14a302b34a75758115730bdbb77c52a4
- Projection
- sha256:c9d14c459c518937e758918b5897dc3b22f1a55f07739afe99502f5b046c907a
- Source commit
- 2415f78e850aeee50afdca525c6f2e0ea606f207