De Polignac's Formula/Examples/5 in 720 Factorial

Example of Use of De Polignac's Formula
The prime factor $5$ appears in $720!$ to the power of $249$.

That is:
 * $5^{178} \mathrel \backslash 720!$

but:
 * $5^{179} \nmid 720!$

Proof
Let $\mu$ denote the power of $5$ which divides $720!$