http://zhidao.baidu.com/question/27098046.html因为n>=3,故在所有的分母当中（都是奇数^_^）必定存在一个最大的奇素数，设它为p,这样在分母中去掉p,设余下的奇数的最小公倍数为n，我们在ms=m+m/2+m/3＋……m/n两边再同时乘以n，得到mns=mn+mn/2+mn/3＋……mn/n。注意到等式右边的每一项mn/k（k=1,2,3,……n），
当且仅当k＝p时，mn/k不是整数，其他的项都是整数."
"k＝p时，mn/k不是整数，"如果余下的奇数中有p的倍数(奇数倍),那么mn/k是整数,如何断定余下的奇数中没有p的倍数呢?
可以肯定的是，余下的奇数中没有p的倍数。但是这个问题深究下去将会涉及到素数的分布问题，已经超出了初等数论的范围。我们不妨换个角度来思考，事实上，我的证明到了ms=m+m/2+m/3＋……m/n那步后要说明一个非常关键的问题。根据m的取法可知，只有1/m那项乘以m后分子是奇数，其他项的分子必定是偶数（因为其他项分母最多只有m-1个2相乘）。在那些分母为奇数的不可约分数的项中，设最大奇数为p，我们令n＝1×3×……×p,然后在ms=m+m/2+m/3＋……m/n两边乘以n，得到mns=mn+mn/2+mn/3＋……mn/n。这样一来，如果s是整数的话，那么mns一定是偶数，但是，等式右边却有n－1项是偶数，1项是奇数，所以右边是一个奇数。于是偶数等于奇数，矛盾！证明完毕！