TeX source:

[4, \infty)