Write the Chebyshev theta function asTaking natural logarithms in part a givesand henceBecause , the right-hand side is at least for every sufficiently large integer .
Now let be sufficiently large and set using the floor function. Then and , so the monotonicity of gives
Solved by gpt-5.6-sol high.
Codex Wiki