>>254
導出は「Cauchyの積分公式」とかいうツールが便利だよ

計算は PARI/GP
有理数のまま桁数無制限で計算できる
数値積分での検算も可能