No. of zeros at the end of the product n!

Definition: n! = 1 x 2 x 3 x … x n

Number value No. of zeros at the end

1! 1 0
2! 2 0
3! 6 0
4! 24 0
5! 120 1
6! 720 1
7! 5040 1
. . .
. . .
. . .
10! 3628800 2
. . .
. . .
. . .
15! 1307674368000 3
. . .
. . .
. . .
How many zeros will be there at the end of 50!, 100!, 125! ?

Direct Formula:
No. of zeros at the end of product n! = [ n / 5] + [ n / 52 ] + [ n / 53 ] + …

Where [ ] represents greatest integer function.

For example:
[2.44] = 2, [12.9998] = 12, [-2.73] = -3 etc.