Elementary lower bound for the Chebyshev theta function (source code)

= Elementary lower bound for the Chebyshev theta function

The <central binomial coefficient> and <Legendre formula> imply
$$
\vartheta(x)\geq\frac{x}{12}
$$
for every sufficiently large real number $x$.