Power series
は に対して次の冪級数で定義される。