ゼータを編む

Bernoulli数多項式とBenoulli数を定義して、べき乗和の公式を導きます。