TeX source:
y \approx 4.0012