>>964
F(x)がどんな式になるか、実際に求める必要はないのよ。
f(x)=x^2 として　(d/dx)∫[2x,x](f(x))dx
を実際に積分実行した結果が、((2x)^2)・（2x)' - x^2 になることを確認してみればいい
(第1項の(2x)' が合成関数の微分法で出てくる部分)