The irrationality measure of pi
Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.
Pull requests
Pull requests bring work from one route into another; merging one adopts it.
Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.
Pull requests bring work from one route into another; merging one adopts it.