リーマンゼータ関数
に含まれることである。ここに現れる formula_5 は、リーマンゼータ関数 "ζ" の特殊値 "ζ"(2) である。