直行多幸式。 元ネタ：特殊関数 第2章 犬井鉄郎 有限区間の一般論 に対し、 とおくと、これは n 次多項式になる。 任意の n - 1 次多項式 に対し、 となる。したがって、特に、 である。（左辺を真ん中の式で定義した。） のときは となるが、これは の規格…