TeX source:
0.475 ≤ π ≤ 0.565