Skip to content
Home
Problems
Updates
Vela Mathematics Program
/
Problems
/
728
Search or jump
⌘K
Overview
Problem ledger
Claims
Proposed changes
Commits
Reproduce
Problem
erdos:728
Whether there are infinitely many integers
a
,
b
,
n
a, b, n
with
a
,
b
≥
ε
n
a, b \ge \varepsilon n
such that
a
!
⋅
b
!
a!\cdot b!
divides
n
!
⋅
(
a
+
b
−
n
)
!
n!\cdot(a+b-n)!
while
a
+
b
a+b
exceeds
n
n
by more than
C
⋅
log
n
C\cdot\log n
.
Open Current State
Declared status
proved (Lean)
Formalization
formalized
Subjects
number theory
·
factorials
OEIS
N/A
Sources
source:erdos-ai-contributions-wiki
·
source:erdos-problems
·
source:formal-conjectures
·
source:jayyhk-erdos-lean
·
source:plby-lean-proofs
·
source:vibemathed
Statement
www.erdosproblems.com
Matching claims
0
No direct claims
This problem has no directly related claim record.
Browse this Repository’s Claims