Li（x）与π（x）取值对比

  于是，高斯猜想：Li（x）-π（x）总是正的而且是递增的.

2、李特尔伍德的证明

  1914年英国数学家李特尔伍德从理论上证明了事实正好相反（即存在Li(x)小于π(x)）。高斯的猜想是错误的！

李特尔伍德证明了：
Li（x）-π（x）从正到负，再从负变为正，如此反复无数次。

  但是我们利用目前最强大的计算机，计算到的x都是Li（x）>π（x），那么在哪里才会第一次出现Li（x）小于π（x）呢，既第一个李特尔伍德反例？
  我们计算能力有限，但数学家有捷径可走，虽然他们无法准确找到第一个李特尔伍德反例值，但他们可以找到这么一个值N，然后证明第一个李特尔伍德反例值小于N，后续在逐步缩小N的取值。
  直到1933年，李特尔伍德的学生斯克维斯（Samuel Skewes）首次证明，如果黎曼猜想成立的话，第一个李特尔伍德反例值一定小于这么一个数，我们称为斯克维斯数：

（参考自http://www.360doc.com/content/17/1022/21/44612658_697252201.shtml
）

这个数字太大了，表示成简单的科学计数法是： ，而我们整个可观测宇宙的原子数不过是

3、哲思

  究竟是什么驱使人类去证明？人类创造数学的动机是什么？编写算法来给数学家制造更多的挑战，这会成为我们探索数学领域的新动力吗？
  数学的起源可以追溯到人类试图理解自己所生活的环境，预测接下来会发生什么，从而使我们更加适应环境，并选择对我们有利的事物。可以说，数学是人类的一种生存行为（我在故我思）。