TeX source:
[1.28,+∞)