ща попробую:
![$length(n!)=1+[\frac{n\ln (n)-n+\frac{1}{2}\ln (2\pi n)}{\ln 2}]$ $length(n!)=1+[\frac{n\ln (n)-n+\frac{1}{2}\ln (2\pi n)}{\ln 2}]$](https://dxdy-04.korotkov.co.uk/f/f/5/e/f5e22420c8a1e06bed165fe548dbd82482.png)
Мы как-то по-другому решали, что-то типа такого:
![$$length(n!)=1+[\frac{\ln (1\cdot 2\cdot ...\cdot n)}{\ln 2}]=1+[\frac{\sum\limits _{k=1}^n\ln (k)}{\ln 2}]=\sum\limits _{k=1}^n(1+\frac{\ln (k)}{\ln 2})+1-n=$$ $$length(n!)=1+[\frac{\ln (1\cdot 2\cdot ...\cdot n)}{\ln 2}]=1+[\frac{\sum\limits _{k=1}^n\ln (k)}{\ln 2}]=\sum\limits _{k=1}^n(1+\frac{\ln (k)}{\ln 2})+1-n=$$](https://dxdy-02.korotkov.co.uk/f/d/d/4/dd4d983ecfc79c6a9b83bd5187641d2082.png)

Дальше я не знаю, как вон ту суму посчитать.
Цитата:
длина числа (натурального) это количество знаков в его двоичном разложении
Судя из этого получил формулу для

Подставляя в предыдущую формулу, получим:

Как её крутить, я пока не представляю... Можете, пожалуйста, решить полностью подробно, скажем, этот или похожий пример, чтоб я понял суть. Я просто, если честно, даже не представляю, как должен выглядеть ответ... Буду очень благодарен!
(Оффтоп)
Вольфрам выдаёт что-то страшное...

если я правильно посчитал, конечно
