TeX source:
1/n>0