TeX source:
5.8 < 2 x