作ったのはリーマンさん。なる"とかの不思議を強調したいので敢えて書いてます。この記事ではそこに言及しませんが。定義域の方が大事なんですけど、まあ今はいいんです。あとこの関数はバーゼル問題が解かれたあとに、リーマンさんが問題の一般化を図るため定義した式です。歴史的には順番が逆だけど知ってほしい(自分の研究テーマなんです。)ので、導入しちゃいます。代入した式がいくつになるん?って問題です。平方数の逆数の総和はいくつか?それでは証明いきましょう。関数を2通りの表現をする。そいつらを等号で結ぶ。恒等式と見て係数比較。