リーマンゼータ関数の零点を，虚部の小さい方から

　　ρ1＝１／２＋ｉ・１４．１３４７・・・

　　ρ2，ρ3，・・・とする．

　このとき，λn＝ρn（１−ρn）とすると，・・・

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［１］Σ１／λn＝１＋γ／２−１／２・ｌｏｇπ−ｌｏｇ２＝０．０２３０９５７・・・

［２］Π（１＋２／λn）＝π／３

　なお，［２］としばしば比較されるのが

［３］Π（１＋２／ｎ^2）＝（ｅｘｐ（π√２）−ｅｘｐ（−π√２））／２π√２

である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝