$p_n^{1/n}$ is a strictly decreasing function

$p_n^{1/n}$ is a strictly increasing function

$p_{n+1} - p_n < 2$

$p_n$ is always a power of $2$