TeX source:

3.804801