TeX source:
[3, \infty)