Hay un nombre para $\sum\left\lfloor\frac{n}{p^i}\right\rfloor$

Question

Hay un nombre para esta función? $$f(n,p)=\sum_{i=1}^\infty\left\lfloor\frac{n}{p^i}\right\rfloor, \quad n,p\in \mathbb{N}$$ Se deja sin nombre en la OEIS, Wolfram Alpha no lo reconocen, pero es un tema común en algún Proyecto de Euler problemas y nos parece importante.

Answer 1

Esta es la $p$-ádico de valoración de $n!$, que es el mayor número de $m$ con $p^m\mid n!$.