I just figured something out while doing this question : Prove that the product of $5$ consecutive natural numbers is divisible by $120$.
I thought that $5! = 120$ and thought of this : The product of $n$ consecutive natural numbers is divisible by $n!$
Is this some pre-existing property or theorem? If yes, what is it called? I would love to learn about it in-depth.
Let me know, thanks!