加入
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 把工作从一条路线带到另一条；合并它就是采纳。
没有开放的 PR
PR 把工作从一个分支带到另一个分支。
新建 PR
Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.
PR 把工作从一条路线带到另一条；合并它就是采纳。
PR 把工作从一个分支带到另一个分支。