加入
The irrationality measure of pi
Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.
比较改动
选两个分支看看改了什么，再发起 PR 把工作带过去。
选两个不同的分支
PR 可以从任何一个分支合入任何另一个分支。
Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.
选两个分支看看改了什么，再发起 PR 把工作带过去。
PR 可以从任何一个分支合入任何另一个分支。