Riemann zeta function
テータ関数、リーマンゼータ関数に関連した証明に応用される。