よく知られているように、解析接続されたRiemann zeta関数 \( \zeta(s) \) は \( s=1 \) において1位の極を持ち、\( s\in \mathbb{C} \setminus \{1\} \)で 正則な有理型関数となります。これより、\( \zeta(s) \) は \( s=1 \) の周りで次のようにLaurent級…