Число нулей, которым оканчивается

совпадает с показателем, с которым 5 входит в разложение

на простые множители.
Нам нужно найти такое число

, что

Разложим число

по пятеричной системе и получаем выражение:

где

.
Так как
![$v_5(n!)=\sum \limits_{j\geqslant 1}\left[\dfrac{n}{5^j}\right]$ $v_5(n!)=\sum \limits_{j\geqslant 1}\left[\dfrac{n}{5^j}\right]$](https://dxdy-03.korotkov.co.uk/f/a/3/f/a3f7e8c18df59944a73b0899ad3b6ca382.png)
Для

имеем, что
![$\left[\dfrac{n}{5^j}\right]=a_k5^{k-j}+a_{k-1}5^{k-1-j}+\dots+a_j$ $\left[\dfrac{n}{5^j}\right]=a_k5^{k-j}+a_{k-1}5^{k-1-j}+\dots+a_j$](https://dxdy-01.korotkov.co.uk/f/4/1/c/41c9d10b2c2829c729526f7833a0055b82.png)
Тогда
![$$\sum \limits_{j\geqslant 1}\left[\dfrac{n}{5^j}\right]=(a_k5^{k-1}+\dots+a_1)+(a_k5^{k-2}+\dots+a_2)+\dots+(a_k5+a_{k-1})+a_k=$$ $$\sum \limits_{j\geqslant 1}\left[\dfrac{n}{5^j}\right]=(a_k5^{k-1}+\dots+a_1)+(a_k5^{k-2}+\dots+a_2)+\dots+(a_k5+a_{k-1})+a_k=$$](https://dxdy-04.korotkov.co.uk/f/7/8/7/787caab2c052db2d0deac314bf408bb882.png)

Отсюда получаем, что:

Ну отсюда нетрудно выяснить, что

при

и

и

, где

Значит,
