本定理以尤里·弗拉基米罗维奇·林尼克的名字命名，他证明它在1944年。 虽然林尼克的证据表明 "c" 和 "L" 是 可计算数，但是他没有提供任何数值。
性质.目前已经知道， L ≤2对于几乎所有整数"d"都成立.在广义黎曼假设成立的前提下，有，这里 formula_4是欧拉函数.更强的上界是也已证实。目前猜测：
L的边界.常数 "L" 称为林尼克常数 下表显示了有关该常数迄今为止取得的进展。此外，在希斯-布朗的结果，常数 "c