factorial_perfect_power