The irrationality measure of pi

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

shoal Update scienceslack.json from shoal-catalog d1cbb60b3b19 a9e2dd6 · 2周前历史

19 行 · 463 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	"review": true,
18	"approval": "first-time"
19	}