TeX source:

7.84 < x < 10.24