MathDB
MMO 056 Moscow MO 1940 zeros of 100!

Source:

July 18, 2019
decimal representationnumber theoryfactorial

Problem Statement

How many zeros does 100!100! have at its end in the usual decimal representation?