斯丘斯数(或称第一斯丘斯数)是指当 大于某个值时,
必定不成立(假设 黎曼猜想 为真),其中
是 素数计数函数,
是 对数积分。
艾萨克·阿西莫夫在他的科普文章 “斯丘斯化!” (1974) 中介绍了斯丘斯数。
1912 年,利特尔伍德证明了 的存在性(Hardy 1999, p. 17),以及上限
随后斯丘斯 (Skewes) (1933) 找到了该上限。此后,莱曼 (Lehman) 在 1966 年将斯丘斯数缩小至 (Conway 和 Guy 1996;Derbyshire 2004, p. 237),特·里勒 (te Riele) (1987) 将其缩小至
,贝斯 (Bays) 和哈德逊 (Hudson) (2000; Granville 2002; Borwein 和 Bailey 2003, p. 65; Havil 2003, p. 200; Derbyshire 2004, p. 237) 将其缩小至小于
。贝斯和哈德逊的结果表明,不等式可能在
附近失效,并因此确定了在
附近存在大范围的违例(Derbyshire 2004, p. 237)。德米歇尔 (Demichel) 的最新研究表明,第一次交叉点大约发生在
附近,在这个值之前再次发生交叉的概率微乎其微,并且在存在这种风险的可疑区域,这个概率实际上可以显著降低,这些结果几乎可以肯定是目前最好的结果(P. Demichel,私人通讯,2005 年 8 月 22 日)。
严格来说,罗瑟 (Rosser) 和舍恩菲尔德 (Schoenfeld) (1962) 证明了在 以下没有交叉点,布伦特 (Brent) (1975) 随后将这个下限提高到
,科特尼克 (Kotnik) (2008) 提高到
。
1914 年,利特尔伍德证明了该不等式实际上必定会无限次地不成立。
第二斯丘斯数 (Skewes 1955) 是指当
必定不成立时,假设 黎曼猜想 为假。它比斯丘斯数
大得多,