The objective of this question is to prove that if $n$ is a non-zero natural integer, then $\prod_{\substack{p \leqslant n \\ p \text{ prime}}} p \leqslant 4^n$.
We assume $n \geqslant 4$ and the result is known at rank $k$ for any integer $k$ between 1 and $n-1$. Establish the result at rank $n$ if $n$ is even.