OPEN

Is there some function $\omega(r)$ such that $\omega(r)\to \infty$ as $r\to\infty$, such that for all large $n$ there exist $a_1,a_2$ with \[a_1+a_2> n+\omega(r)\log n\] such that $a_1!a_2! \mid n!2^n3^n\cdots p_r^n$?

#401: [ErGr80]

number theory, factorials