TeX source:

8.75