来自分析学的无理数判别方法——有理数的(绝对值)的正下界
发布人