Skip to content

Problem

erdos:728

Whether there are infinitely many integers a,b,na, b, n with a,b≥εna, b \ge \varepsilon n such that a!⋅b!a!\cdot b! divides n!⋅(a+b−n)!n!\cdot(a+b-n)! while a+ba+b exceeds nn by more than C⋅log⁡nC\cdot\log n.

Declared status
proved (Lean)
Formalization
formalized
OEIS
N/A

Matching claims

0
No direct claims
This problem has no directly related claim record.