考虑阶乘 分解为乘法因子 并按非递减顺序排列。例如,
(1)
| |||
(2)
| |||
(3)
|
和
(4)
| |||
(5)
| |||
(6)
|
对于 , 3, ... 这种划分的数量是 1, 1, 3, 3, 10, 10, 30, 75, 220, ... (OEIS A085288)。
现在考虑长度为 的这种分解的数量。例如,
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
| |||
(13)
| |||
(14)
| |||
(15)
| |||
(16)
| |||
(17)
| |||
(18)
|
对于 , 3, ... 这种划分的数量是 0, 0, 1, 1, 2, 2, 5, 12, 31, 31, 78, 78, 191, ... (OEIS A085289)。
现在令
(19)
|
即, 是长度为 的因式分解中最小素因子的适当幂。对于 , 5, ..., 由 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, ... 给出 (OEIS A085290)。
最后,定义
(20)
|
其中 是自然对数。因此,对于情况 , 且
(21)
|
对于大的 , 趋近于一个常数
(22)
| |||
(23)
|
(OEIS A085291),被称为 Alladi-Grinstead 常数,其中
(24)
| |||
(25)
|
(OEIS A085361)。常数 也与所谓的交错 Lüroth 表示相关联(Finch 2003, p. 62)。
通过在无穷远处展开被加数,可以将 的级数转换为具有更好收敛性质的级数,得到
(26)
| |||
(27)
|
交换求和顺序得到
(28)
| |||
(29)
|
其中 是黎曼 zeta 函数。
也可以表示为积分
(30)
|