检查N是否为阶乘素数

阶乘素数指的是那些可以表示为$n!+1$形式的素数。如果一个数不能表示为这种形式，就不是阶乘素数。

要检查一个数是否为阶乘素数，可以按照以下步骤进行：

1. 计算$n!+1$。
2. 判断$n!+1$是否为素数。

以下是一个Python的实现示例：

import math

def is_prime(n):
    """
    判断一个数是否为素数
    """
    if n <= 1:
        return False
    for i in range(2, int(math.sqrt(n)) + 1):
        if n % i == 0:
            return False
    return True

def is_factorial_prime(n):
    """
    判断一个数是否为阶乘素数
    """
    factorial = 1
    for i in range(1, n):
        factorial *= i
        if factorial + 1 == n:
            return is_prime(n)
    return False

这个函数先定义了一个is_prime函数，用来判断一个数是否为素数。接着定义了一个is_factorial_prime函数来判断一个数是否为阶乘素数。它首先计算$n!+1$，然后判断它是否为素数。如果是，则返回True，否则返回False。

示例用法：

assert is_factorial_prime(5) == True
assert is_factorial_prime(7) == True
assert is_factorial_prime(11) == True
assert is_factorial_prime(13) == True
assert is_factorial_prime(24) == False
assert is_factorial_prime(26) == False

这几行代码用来测试我们的函数是否能正确地检测阶乘素数。如果运行没有报错，说明函数正确。