TeX-källa:
\phi(p) \leq p-3,