TeX source:
1\leq n \leq 2^{31}