Skip to content
Toggle Sidebar
Home
Problems
Frontiers
Updates
Overview
Problem ledger
Assertions
Proposed changes
Commits
Reproduce
Add contribution
Toggle Sidebar
Vela Mathematics Program
/
Problems
/
82
Search or jump
⌘K
Problem
erdos:82
Filter.Tendsto (fun n => ↑(Erdos82.F n) / Real.log ↑n) Filter.atTop Filter.atTop
Open Current State
Declared status
open
Formalization
formalized
Subjects
graph theory
OEIS
A120414 · A390256 · A390257 · A390919 · A392636 · A394400 · A394462 · A394539 · A394563 · A394564 · A394573 · A394574 · A394930 · A394933
Sources
source:erdos-problems
·
source:formal-conjectures
Statement
www.erdosproblems.com
Matching claims
0
No direct claims
This problem has no directly related claim record.
Browse this Repository’s Claims
Search problems.science
Find a Problem, Result, source, or page