Tengo dos explicaciones
1= como sabemos $(n+1)! = n!(n+1)$ así que desde aquí $n! =\frac{(n+1)!}{(n+1)}$
por lo que tenemos $4!=4*3*2*1=24$ y $3!=\frac{4!}{4}=6$ y $2!=\frac{3!}{3}=2$ y $1!=\frac{2!}{2}=1$ y así $0!=\frac{1!}{1}=1$
2= una forma sencilla de entender lo que significa el factorial es decir: "dado un conjunto de n objetos, n! es el número de formas diferentes de ordenar esos objetos". Esto tiene sentido para, por ejemplo, n=3: hay seis formas diferentes de ordenar un conjunto de tres objetos (¡pruébalo tú mismo y verás!) Pero sólo hay una forma de ordenar un conjunto de 0 objetos, ya que no hay nada que reordenar. Si no pusiéramos 0! = 1, esta descripción no funcionaría.
Otra fórmula sencilla es, para n > m, n!/m! = (n-m)!. Esto funciona si 0! = 1: n!/0! = n!/1 = n! = (n-0)!. Pero si tuviéramos cualquier otro valor para 0!, como por ejemplo 0, esta fórmula no tendría sentido y tendríamos que cambiarla para decir "¡n!/m! ¡= (n-m)! a menos que m = 0", ¡lo que es mucho más largo y menos bonito!
Hay otros innumerables ejemplos de por qué 0! = 1 es útil. ¿Se te ocurre alguno?