Что больше?

[VAL]

Xaositect в сообщении #824146 писал(а):

$(100!)! = 99!^{100!}\cdot (\frac{1}{99!}\cdot \frac{2}{99!}\cdot \dots\cdot \frac{100!}{99!})$. Округляем все дроби вверх. Получаем $(100!)! < 99!^{100!} (1^{99!} 2^{99!}\cdot 100^{99!})= 99!^{100!} 100!^{99!}$

Спасибо! Дошло (как до жирафа).