Trying to understand the justification for letting $z = \log x$ for sufficiently large $x$. I'm aware that a composite number $x$ must have a prime divisor $\leq\sqrt{x}$, but I have never heard of any result stating something similar for $\leq\log x$. picrel