メルテンスの定理
となるので、第二定理は
b = 1 − log  log  2 + ∫ 2 ∞ R ( t ) d t t log 2  t {\displaystyle b=1-\log \log 2+\int _{2}^{\infty }{\frac {R(t)dt}{t\log ^{2}t}}}
について成り立つ。