Formule de Legendre

Formule donnant l'exposant du premier p divisant n! : v_p(n!) = Σ_{k≥1} floor(n/p^k), c'est-à-dire que la valuation p-adique de n! est la somme des parties entières de n divisées par les puissances successives de p jusqu'à disparition des termes.