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