TeX source:
x ≈ 4.5