TeX source:
n\geq\max\{n_{0},\widetilde{n_{0}}\}