確かにPollaczek 1931 式(45)はの時に成り立つ式 を与えている。についてのRiemannの関係と若干の書き換えは , (26) をもたらす。この形での結果はChangとReres 1997 Thm. 1.1のp.788によって導かれた。(26)の３番目の証明はJanssenとLeeuwaarden (2007b,a)…