¿La entrada es el factorial de un entero?

Crea una función que compruebe si un entero dado es exactamente el factorial de algún 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 controlar errores. Todas las entradas son enteros positivos.
• También puedes resolver este desafío con un enfoque recursivo.
• Hay versiones similares de este desafío que son un poco más difíciles que esta (una recursiva y una no recursiva).