Целые числа `a_1, a_2, \ldots, a_n` удовлетворяют неравенству `1 < a_1 < a_2 < \ldots < a_n < 2a_1`.
Докажите, что если `m` --- количество различных простых делителей `a_1 * a_2 * \cdots * a_n`, то `(a_1 * a_2 * \cdots * a_n)^{m-1} \geq (n!)^m`