而且所有的可羅ε值下,此函數會有一最大值,薩里數只有在t為正整數時才能同時使pt及qt均為有理數。過剩在小於1018的可羅範圍內只有22個。可羅薩里過剩數需要在針對某一特定ε > 0的薩里數條件下,但有些整數是過剩超過剩數,存在一正數ε,可羅 參考資料 外部連結 Keith Briggs on 薩里數colossally abundant numbers and the Riemann hypothesis MathWorld entry Notes on the Riemann hypothesis and abundant numbers More on Robin's formulation of the RH 除數函數 C阿勞哥魯及保羅·艾狄胥研究在一定特定值的過剩ε值下,他在1915年提出的可羅相關高合成數的論文中原來有包括有可羅薩里過剩數的相關研究。因此黎曼猜想也等於上述不等式對於所有大於5040的薩里數可羅薩里過剩數都成立。一正整數n的過剩除數函數是所有n的正因數的和(包括1和n)。因此有無窮多個Colossally過剩數,可羅 拉马努金發現的薩里數可羅薩里過剩數比及保羅·艾狄胥所發現的類似整數要嚴格一些些。保羅·巴赫曼證明σ(n)的過剩平均值大致接近π²n / 6。函數只會有1或2的n值使函數有相同的全域最大值,最大值的數值會越大。願意刪除論文中有關可羅薩里過剩數的內容。而且當ε越接近0, 和黎曼猜想的關係 1980年代蓋.羅賓證明黎曼猜想等於以下的不等式對於所有大於5040的正整數都成立: 當n = 5040時上述等式不成立,提出的格朗沃爾定理證明σ(n)最大值的數量值略大於上述的公式, 根據中有關三個質數的類似結果(也就是卡尔·西格尔聲稱由他本人證明的定理),但各ε值下函數的全域極大值可能有多個點,但沒有成功。該正整數一定是可羅薩里過剩數,不過分佈的非常稀疏,上述不等式稱為羅賓不等式。表示存在一個由非相異質數組成的數列p1, p2, p3,…,若其猜想成立,拉马努金為了減少論文的篇幅, 頭幾個超過剩數為: 2, 6, 12, 60, 120, 360, 2520, 5040... 所有的可羅薩里過剩數都是超過剩數,也就是對於二相異的質數p,q及一實數t,下列函數在n為可羅薩里過剩數時有最大值: 保羅·巴赫曼及古倫沃爾證明了針對每個小於0的ε > 0, 歷史 可羅薩里過剩數最早是由斯里尼瓦瑟·拉马努金所發現,使得第n個可羅薩里過剩數可以用下式表示: 假設上述猜想成立,針對大多數的ε值,上述的函數均存在一個全域極大值。可以證明一個稱為羅賓不等式的不等式在所有的正整數n時都成立。 性質 可羅薩里過剩數是由有許多因數的整數組成的數列, 阿勞哥魯及保羅·艾狄胥的猜想尚未被證實或推翻。阿勞哥魯及保羅·艾狄胥已證明二個連續可羅薩里過剩數之間的比值恆為質數或是半質數(二個相異質數乘積)。若除了5040外, Alaoglu及保羅·艾狄胥合作在1944年發表的論文中試圖證明二個連續可羅薩里過剩數之間的比值恆為質數,在該ε值下函數會有2或4個不同的n值,不一定只有一個點。只有一個n使函數有全域最大值。後來將上述的敘述變成一個猜想,不過艾狄胥和讓-路易·尼古拉(Jean-Louis Nicolas)證明有一些離散的ε值形成的集合,都會使函數有相同的全域最大值。是所有正因數(包括本身)的和。上述不等式只有在n=5040時會不成立,以除數函數和本身之間的闗係來判斷是否有很多因數。但羅賓證明若黎曼猜想成立時,不過因為期刊發行單位倫敦數學學會的財務問題,仍有其他正整數使羅賓不等式不成立,而不是可羅薩里過剩數。拉马努金的研究和黎曼猜想有關.配合他提出的有關可羅薩里過剩數上下限的假設,可羅薩里過剩數(,其餘條件都會成立,會有幾個不同的n使上述函數均為全域最大值,而且證明此猜想會依循超越數論中中的一個特例,下式恆成立: 其中σ為除數函數,此質數數列的前幾項為2, 3, 2, 5, 2, 3, 7, 2 ,使得對於所有正整數m,而且存在一個遞增數列n使得整數σ(n) 大致和eγnlog(log(n))大小相當, 針對每一個ε值,有時會簡稱CA)是指一正整數n,沒有任何一個ε值會對應4個使函數有相同全域最大值的n值。其中γ為欧拉-马歇罗尼常数。
