>>68
そこまで抽象的な理解はしてないです。

diff(%e^x,x,1)
diff(%e^x,x,2)
diff(%e^x,x,3)

と続くのに

diff(%e^x,x,n)

だと答えが出ない。

また、高校レベルの統計の公式

E((x-E(x))^2)=E(x^2)-E(x)^2

も、ユーザーがサンプル数を決めないと
成り立つか成り立たないか判定できないところが不思議だと思うわけです。

前提を一つ加えてスンナリ判定できるようになるなら面白いのですが。
（仮に自明でないとすれば、欠けてる前提は何なのでしょう）