TeX source:
= arctan(3) ≈ 1.249