Factors & Multiples · Hard problem

Every prime factor of $P_k + 1$ is larger than $p_k$.

$P_k + 1$ is prime.

$P_k + 1$ is divisible by the next prime $p_{k+1}$.

$P_k + 1$ has at least one prime factor smaller than $p_k$.