The irrationality measure of pi
Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.
Update from the catalog #1
Merged
Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.