Zdroj TeX:
3.1408 < \pi < 3.1429.