values of $4^n$ and ${\displaystyle \prod \mathrm{@}\mathrm{@}\mathrm{@}{\mathrm{@}}_{i=1}^{\pi (n)}{p}_i}$ for

The following table is in of the statement that

$$4^x>\prod _{i=1}^{\pi (x)}{p}_i$$

is always true for any nonnegative $x$.