Is there a name for $\sum\left\lfloor\frac{n}{p^i}\right\rfloor$

95 Views Asked by At

Is there a name for this function? $$f(n,p)=\sum_{i=1}^\infty\left\lfloor\frac{n}{p^i}\right\rfloor, \quad n,p\in \mathbb{N}$$ It's left unnamed in the OEIS, Wolfram Alpha doesn't recognise it, but it's a common theme in some Project Euler problems and it seems important.

1

There are 1 best solutions below

0
On BEST ANSWER

This is the $p$-adic valuation of $n!$, that is the largest number $m$ with $p^m\mid n!$.