To prove $\pi(x)>\dfrac x{\ln x} , \forall x \ge 17$ by elementary argument

168 Views Asked by At

Is there an elementary argument for proving $$\forall x \ge 17:\pi(x)>\dfrac x{\ln x} $$ ? where $\pi(x)$ is the prime counting function ....

1

There are 1 best solutions below

0
On

I doubt that it's "elementary", but according to Wikipedia e.g. Dusart proves $$ \pi(x) > \dfrac{x}{\ln x} + \dfrac{x}{\ln(x)^2} \ \text{for} x \ge 599 $$ and then you can check it for each integer $x \in [17, 598]$.