TeX source:
4.8 < 2 x-1 < 5.2