日記2

自然演繹を積極的に用いたい．

$\mathbb{Z}^+=\{1,2,...,n,n+1,......\}$

$k=［n］_{\mathbb{Z}^+}$ 　s.t.

に対して， $n$ 回微分可能で $f^{(n)}(x)$ が連続である関数 $f(x)$ を $n$ 回連続微分可能な関数( $C^{n}$ -関数)とよぶ．そして， $C^0$ -関数とは連続関数を指す．また何回でも微分可能な関数を $C^∞$ -関数という．