I have a new #OEIS sequence: "a(n) is the smallest k such that k! has at least n consecutive zeros immediately after the leading digit in base 10."
oeis.org/A356739