Several of my students have noticed that the factorial of 23 is the first to contain at least one copy of each of the ten digits, and they wonder whether every sufficiently large factorial similarly contains at least one of each of the ten digits.
I would guess yes, but has this been proved?
max(n for n in range(25,1000) if len(set(str(factorial(n)))) != 10)
evaluates to $41$ – saulspatz Apr 05 '21 at 17:39