>>827
>f(x)は実数全体で可微分