任意の実数列 a = (a_n) に対して、
fのn階導関数が f^(n)(0) = a_n となるC^∞級関数は、構成できるのでしょうか？