斯奎斯数

数论中,斯奎斯数Skewes' number)是指南非数学家斯坦利·斯奎斯(Stanley Skewes)用以表示满足下式之最小自然数x上界的极大数字。

,其中π表示素数计数函数,li则表示对数积分。经过数学家对这一上界的不断改进,目前发现在附近有满足上式的自然数,不过仍不清楚这是否是最小的斯奎斯数。

大小

约翰·恩瑟·李特尔伍德于1914年证明确实存在斯奎斯数,而且还进一步证明了  两个函数会交叉无数次,也就是有无穷个交叉点。然而不管代入什么数字, 都小于 ,因此,可以知道x一定是比人们所能计算的数字都来得大的。

斯奎斯于1933年证明了其中一个上界(需要黎曼假设),又被称作第一斯奎斯数

 (左为准确值,右为近似值)

斯奎斯又于1955年证明了另外一个上界(不需要黎曼假设),又被称作第二斯奎斯数

 (左为准确值,右为近似值)

斯奎斯给出了具体的上界,以表明李特尔伍德说的斯奎斯数究竟有多大。虽然斯奎斯数比其他日常生活及数学证明中出现的大多数数字都来得大,但这个数仍然远远小于葛立恒数

参见

  • 素数定理

参考文献