在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？ 第1页
1
li-peng-cheng-84-13 网友的相关建议:
在 @寨森Lambda-CDM 和 @dna049 答案的基础上提供一些（毫无技术含量的）改进. 如有舛漏，还望指正.
首先我们留意到如下定理：
对于任意无理数 ，存在无穷多（正）整数对 ，使得 .
故 .
因此我们知道有无穷多个正整数 使得
.
这个结果似乎仍然可以继续改进. 引理中的 是任意无理数. 如果我们可以排除一部分特殊的无理数，那么引理中不等式右侧分母的常数最多可以改进为3. 参见:
在 不属于这些特定无理数的假定下，将有无穷多个正整数 使得 . 至于如何从 改进到 ，恐怕还要另请高明.
zhai-sen-8 网友的相关建议:
概述
我并未解决这个题主的问题，下面将证明稍弱的估计 （定理1）。这个问题实际上与 的irrationality measure有关：如果证明了 ，就能直接推导出 （定理3）
对于一般的情形 ，目前没有好方法得到它的值。（定理2的方法表明 时该下极限等于 ）
回顾irrationality measure的定义
由于超越数的irrationality measure至少是2（ ），因此我们有：
引理1 存在无穷多整数对 使得
有如下比题主的命题稍弱的结果：（有了引理，证明就比较trivial）
定理1 存在无穷个整数 使得
证明：由引理，存在无穷多整数对 使得 。此时 ，并且有
定理2 对于任何 ，存在无穷个整数 使得
证明：由引理1，有无穷个整数 使得 。当 充分大时， ，即证。
定理3 如果在 充分大时 ，那么
证明：反证。设 ，则仿照定理1的证明过程可以得到存在无穷个整数对 使得 ，但当 充分大时 ，这与条件 充分大时 是矛盾的。
从定理3我猜测，原命题很可能是假的。（因为是否有 目前来说还是个开放的问题）
【附】关于定理1，
考虑的是，给出更好的估计：存在无穷使。能否用类似的技巧，将分子上的降到，是本题的关键所在。
1
相关话题
有理数1和0.999…循环相等吗？做计算PhD的研究是否如丁仲礼所说的那么不靠谱？
抽五张牌，选择并依次展示其中四张，能否猜出第五张牌？
大家有人知道这个怎么解吗？
比0.000······1更小的非0数，是什么？
114514 阶的群有哪几类？
澳大利亚兔子泛滥至100亿，那么中国人需要多久才能消灭这数量的兔子呢？
数学上是否存在这样的情况，给定条件已经能确定结果的唯一性，但就是求不出来！据说椭圆周长就是。？
为什么菲尔兹奖没有诺贝尔奖在公众的影响力大？
当我们在说音高的时候，我们在说什么？
前一个讨论
相关的话题
为什么被积函数大于零，积分结果就大于零？e^6≈π^4+π^5有什么数学背景吗？
为什么「数学」不属于「自然科学」？
实数中乘法不是加法的复合么？为什么乘法与加法并列提及？
如何用初等函数证明 π 不是有理数？
这个公式如何证明？
C语言指针难吗？如何看待数学大v认为指针比范畴论还难？
如何证明矩形与集合边界有交集？
在你不能证明e+π是无理数之前，有人问你这是有理数还是无理数，你选什么（看补充）？
为什么我会感觉用数学归纳法证明很low？而用其他证明方法就显得很高大上？
如何客观评价丘成桐老师的学术贡献呢？
如何评价某伊利诺伊大学教授认为数学巩固了白人的特权？
这里面有哪些思路算是民科思路？
基础学科的大学教授教授本科课程对自己纯理论的科研会不会有启发？
学习质数理论有什么实用之处？
是否存在有源有旋场，不是说有旋必定无源？
該如何理解約翰·馮·諾伊曼(John von Neumann)的這段話?
反正切函数arctanx平方后的无穷级数怎么证明?
如何看待某数学博士宣称传统中医完全是扯蛋？
计划经济为何效率低？
如何证明Metropolis Hastings algorithms)能够达到马尔科夫稳态？
从对数学的贡献上来讲，丘成桐有多厉害？
《从一到正无穷》第三章的空间想象是什么意思？
如何求解洛朗级数?
3Blue1Brown 的视频是怎么制作的？
七个小朋友，只能切四刀，怎么把三个苹果均分？
人类对自然科学的探索是否会因其自身的复杂而走向停滞？
如何看待吴伊卓高考数学使用搜题软件作弊？
考试砸了回到家，母亲打我的概率是 1/2，父亲打我的概率也是 1/2，那我被打的概率是多少？
如何用数学语言描述数列Xn不是单调数列?