Legendre's formula
= 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.
$$