Legendre's formula (source code)

= Legendre's formula
{c}
{wiki}

= Legendre formula
{c}
{synonym}

For a <prime number> $p$ and a positive <integer> $n$, the <P-adic valuation> of a <factorial> is
$$
v_p(n!)=\sum_{j\geq1}\left\lfloor\frac{n}{p^j}\right\rfloor.
$$