TeX source:
\varphi(n)\geq n