¿La entrada es el factorial de un entero?

Crea una función que compruebe si un entero dado es exactamente el factorial de un entero. True si lo es, False en caso contrario.

Ejemplos

is_factorial(2) ➞ True
# 2 = 2 * 1 = 2!

is_factorial(27) ➞ False

is_factorial(24) ➞ True
# 24 = 4 * 3 * 2 * 1 = 4!

Notas

• No es necesario gestionar errores. Todas las entradas son enteros positivos.
• Como alternativa, puedes resolverlo mediante un enfoque recursivo.
• Hay versiones similares de este desafío que son un poco más difíciles que este (una recursiva y otra no recursiva).