TeX source:
n_0 = 5001