A entrada é o fatorial de um inteiro?

Crie uma função que verifique se um inteiro fornecido é exatamente o fatorial de algum inteiro. true se for, false caso contrário.

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

is_factorial(27) ➞ false

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

Não é necessário tratar erros. Todas as entradas são inteiros positivos.
Como alternativa, você pode resolver este desafio usando uma abordagem recursiva.
Há versões semelhantes deste desafio que são um pouco mais difíceis do que esta (uma recursiva e uma não recursiva).