$p_n\# + 1$ is always prime for $n \le 6$.

$p_n\# + 1$ is never divisible by any $p_i \le p_n$.

$p_n\# + 1$ is always a Mersenne prime.

$p_n\# + 1$ can be composite.