LECTURE NOTES IN ANALYSIS (2011)
《LECTURE NOTES IN ANALYSIS (2011)》 · 第 367 页 · Section 8.1「Elementary Prime Number Estimates」，Theorem 8.7
Bertrand's Postulate. If $x$ is a real number, $x>1$, then there exists at least one prime number in the open interval $(x,2x)$.