从小黑屋里出来的时候陈灵婴好半天没有回过神来。

只要通过计算z(t)的符号，如果z(t)在某两点的符号相反，就说明黎曼ζ函数在这两点之间内存在零点。

而前面陈灵婴做的那么多的准备，那么多的计算过程，反复的推算演练，错误，错误，再错误，只要有一个成功，哪怕这次成功需要花费几天，几个月，几年，几十年，甚至是上百年

都是值得的。

这就是数学的魅力。

后人踩在前人的肩膀上，学习前人的思想，解决前人提出的猜想，解决前人没有解决的猜想，也提出新的猜想留给更后来的人。

陈灵婴上面做得那么多，都是为这一计算做准备的。

发现在t=1414附近可能存在零点，然后在141≤t≤142的区间上撒下一张小网。

如果陈灵婴的计算表明z(t)在这一区间的两端，即t=141与t=142具有不同的符号，那就证明了rieannζ函数在t=141与t=142之间存在零点。

第二天一早陈灵婴吃完早饭后就全身心地投入到了计算中。

这是计算量极大的一个过程，陈灵婴不习惯用程序，而是习惯于手算，虽然这样在有些人看来有点“蠢”，但是冗长繁琐的计算过程同样能够让陈灵婴对那些猜想了解得更深刻，也更能明白自己究竟要从哪里下手。

一个猜想的证明，没有一个步骤是多余的。

成功不可复制，失败却总是那么几个原因。x33

不够努力，不够努力还要假装很努力，以及不努力。

t=141，

(4/2π）?≈1498027，

0(t)≈-1742722。

所以主项2s[0(t)]≈-0342160，剩余项r(t)中p≈0498027，从而其中第一项(项)(t/2π)"1/4≈0312671。由这两部分可得:

z(141)≈-0342160+0312671=-0029489x33

同样的，对于t=142，

(t/2π)1/2≈1503330，

θ(t)≈-1702141。

可以得到主项2s[0(t)]≈-0261934，剩余项r(t)中p≈0503330，其中第一项为(t/2π)1/4≈0312129。

由这两部分再