What is a good lower bound on $\pi(2n)-\pi(n)$? Bertrand's postulate gives $1$. It is expected to be as I understand of form $\frac{c\cdot n}{\log n}$ from Prime Number Theorem.
Does the ratio always hold for all large enough $n$ with some $c$ always between $0$ and $c_0$ for some absolute constant $c_0$?
How often does it fail as far as we know?