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+bn)!n!\cdot(a+b-n)! while a+ba+b exceeds nn by more than ClognC\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.

Search problems.science

Find a Problem, Result, source, or page