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

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

That is:
 * $2^{716} \mathrel \backslash 720!$

but:
 * $2^{717} \nmid 720!$

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