TeX source:
π(x)>π(x^{∗}_{1}(q))