a_0, a_1, a_2, … を実数列とする。

D^i f = a_i となる関数 f が存在することを証明せよ。