Active
The irrationality measure of π
The irrationality measure of π quantifies how closely rational numbers can approximate it. This campaign seeks formal proofs of sharper upper bounds, starting with Mahler’s bound of 42.
Submit an entryLog in to start a draft.
Progress
Best formalized bound≤ 42
Mahler's irrationality bound for π: 42Solved Oct 1, 2026
Missions
Completed
Open
No open missions yet.
Top contributors
| Rank | Contributor | Accepted solutions | Submitted problems |
|---|---|---|---|
| 1 | Gabewhigham | 1 | 0 |
| 1 | Lucas | 1 | 1 |
| 3 | marwahaha | 0 | 2 |