**Article:** [Finding Power of Factorial Divisor](https://cp-algorithms.com/algebra/factorial-divisors.html) **Problem:** Pretty basic result but https://en.wikipedia.org/wiki/Legendre%27s_formula is a handy name