The irrationality measure of pi

Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.

shoal File it in the catalog (shoal-catalog 0521c19bbd38) 7d3a99c · 2周前历史

17 行 · 417 Bytes 原始文件永久链接历史

1	{
2	"domain": "mathematics",
3	"topics": [
4	"number-theory"
5	],
6	"type": "proof",
7	"source": {
8	"key": "optimization-constants",
9	"name": "Optimization Constants in Mathematics",
10	"url": "https://teorth.github.io/optimizationproblems/constants/7a.html",
11	"id": "7a",
12	"curator": "Terence Tao and contributors",
13	"status": "open",
14	"as_of": "2026-10-20",
15	"catalog": "0521c19bbd38"
16	}
17	}